Externally verifiable code execution

Arvind Seshadri, Mark Luk, Adrian Perrig, Leendert van Doorn, Pradeep K. Khosla. Externally verifiable code execution. Communications of the ACM, 49(9):45-49, 2006. [doi]

Abstract

Abstract is missing.