Machine code verification of a tiny ARM hypervisor.

Mads Dam Roberto Guanciale Hamed Nemati

Published in: TrustED@CCS (2013)

Keyphrases

source code
operating system
model checking
formal verification
virtual machine
verification method
special case
np hard
data processing
parallel machines
face verification
network resources
signature verification
error correcting
java bytecode