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]
@inproceedings{DamGN13,
title = {Machine code verification of a tiny ARM hypervisor},
author = {Mads Dam and Roberto Guanciale and Hamed Nemati},
year = {2013},
doi = {10.1145/2517300.2517302},
url = {http://doi.acm.org/10.1145/2517300.2517302},
researchr = {https://researchr.org/publication/DamGN13},
cites = {0},
citedby = {0},
pages = {3-12},
booktitle = {TrustED'13, Proceedings of the 2013 ACM Workshop on Trustworthy Embedded Devices, Co-located with CCS 2013, November 4, 2013, Berlin, Germany},
editor = {Ahmad-Reza Sadeghi and Frederik Armknecht and Jean-Pierre Seifert},
publisher = {ACM},
isbn = {978-1-4503-2486-1},
}