Author:
Syeda Hira Taqdees,Klein Gerwin
Publisher
Springer International Publishing
Reference18 articles.
1. Lecture Notes in Computer Science;E Alkassar,2012
2. ARM Ltd.: ARM Architecture Reference Manual, ARM v7-A and ARM v7-R, aRM DDI 0406B, April 2008
3. Barthe, G., Betarte, G., Campo, J.D., Luna, C.: Cache-leakage resilient OS isolation in an idealized model of virtualization. In: 25th CSF, pp. 186–197 (2012)
4. Daum, M., Billing, N., Klein, G.: Concerned with the unprivileged: user programs in kernel refinement. Form. Aspects Comput. 26(6), 1205–1229 (2014)
5. Lecture Notes in Computer Science;A Fox,2010
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Islaris: verification of machine code against authoritative ISA semantics;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
2. Relaxed virtual memory in Armv8-A;Programming Languages and Systems;2022
3. Formal Verification of Memory Isolation for the TrustZone-based TEE;2020 27th Asia-Pacific Software Engineering Conference (APSEC);2020-12
4. Formal Reasoning Under Cached Address Translation;Journal of Automated Reasoning;2020-01-18
5. ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures;Programming Languages and Systems;2020