Machine code verification of a tiny ARM hypervisor
Mads Dam, Roberto Guanciale, Hamed Nemati[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]
Proceedings of the 3rd International Workshop on Trustworthy Embedded Devices
TrustED '13
Berlin, Germany
ACM
New York, NY, USA
Pages 3-12
2013
Note(s): Arm architecture, ISA specification, hypervisor, Operating Systems, instruction set architecture
TrustED '13
Berlin, Germany
ACM
New York, NY, USA
Pages 3-12
2013
Note(s): Arm architecture, ISA specification, hypervisor, Operating Systems, instruction set architecture