Authenticating Outputs of Computer Software Using a Cryptographic Coprocessor

B. Schneier and J. Kelsey

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

Sidebar photo of Bruce Schneier by Joe MacInnis.