Mads Dam, Roberto Guanciale, Hamed Nemati. Machine code verification of a tiny ARM hypervisor. In Ahmad-Reza Sadeghi, Frederik Armknecht, Jean-Pierre Seifert, editors, TrustED'13, Proceedings of the 2013 ACM Workshop on Trustworthy Embedded Devices, Co-located with CCS 2013, November 4, 2013, Berlin, Germany. pages 3-12, ACM, 2013. [doi]
Abstract is missing.