Design of a symbolically executable embedded hypervisor-Reference-Cited by-同舟云学术

Design of a symbolically executable embedded hypervisor

Published:2020-04-15 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Fifteenth European Conference on Computer Systems
language:
Short-container-title:

Author:

Nordholz Jan¹

Affiliation:

1. Technische Universität Berlin, Berlin, Germany

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3342195.3387516

Reference62 articles.

1. Automated Verification of a Small Hypervisor

2. Pervasive Verification of an OS Microkernel

3. ARM Holdings. 2014. ARM architecture reference manual ARMv7-A and ARMv7-R edition. http://infocenter.arm.com/help/topic/com.arm.doc.ddi0406c/. ARM Holdings. 2014. ARM architecture reference manual ARMv7-A and ARMv7-R edition. http://infocenter.arm.com/help/topic/com.arm.doc.ddi0406c/.

4. ARM Holdings. 2016. ARMv8-A reference manual (Issue A.k). http://infocenter.arm.com/help/topic/com.arm.doc.ddi0487a.k_10775/index.html. ARM Holdings. 2016. ARMv8-A reference manual (Issue A.k). http://infocenter.arm.com/help/topic/com.arm.doc.ddi0487a.k_10775/index.html.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2024-04-27

2. Advanced System Resiliency Based on Virtualization Techniques for IoT Devices;Annual Computer Security Applications Conference;2021-12-06

3. No Crash, No Exploit: Automated Verification of Embedded Kernels;2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS);2021-05

4. überSpark;ACM SIGOPS Operating Systems Review;2020-08-31