Trusting Trusted Hardware: Towards a Formal Model for Programmable Secure Coprocessors

Sean W. Smith, Vernon Austel. Trusting Trusted Hardware: Towards a Formal Model for Programmable Secure Coprocessors. In Bennet S. Yee, editor, Proceedings of the 3rd USENIX Workshop on Electronic Commerce, Boston, Massachusetts, USA, August 31 - September 3, 1998. USENIX Association, 1998. [doi]

Authors

Sean W. Smith

This author has not been identified. Look up 'Sean W. Smith' in Google

Vernon Austel

This author has not been identified. Look up 'Vernon Austel' in Google