Machine code verification of a tiny ARM hypervisor
Mads Dam, Roberto Guanciale, Hamed Nemati[doi] [Google Scholar] [DBLP] [Citeseer]
Proceedings of the 3rd international workshop on Trustworthy embedded devices
ACM
Pages 3-12
2013
Note(s): Operating Systems, hypervisor, verification, Arm architecture, ISA specification, instruction set architecture
ACM
Pages 3-12
2013
Note(s): Operating Systems, hypervisor, verification, Arm architecture, ISA specification, instruction set architecture