Arvind Seshadri Mark Luk Adrian Perrig Leendert van Doorn Pradeep K. Khosla Externally verifiable code execution. 45-49 2006 49 Commun. ACM 9 http://doi.acm.org/10.1145/1151054 db/journals/cacm/cacm49.html#SeshadriLPDK06