Trusting Trusted Hardware: Towards a Formal Model for Programmable Secure Coprocessors.
SW Smith, V Austel - USENIX Workshop on Electronic Commerce, 1998 - usenix.org
Secure coprocessors provide a foundation for many exciting electronic commerce
applications, as previous work [Yee94, YeTy95] has demonstrated. As our recent work …
applications, as previous work [Yee94, YeTy95] has demonstrated. As our recent work …