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]