Authenticating Outputs of Computer Software Using a Cryptographic Coprocessor
Proceedings 1996 CARDIS, September 1996, pp. 11-24.
ABSTRACT: A cryptographic coprocessor is described for certifying outcomes of software programs. The system for certifying and authenticating outputs allows a third party who trusts the secure components of the system to verify that a specified program actually executed and produced a claimed output.
[full text – postscript] [full text – PDF (Acrobat)]
Categories: Protocol Designs