Certifying Program Execution with Secure Processors.

Benjie Chen, Robert Morris

Browse the full HotOS paper archive.