Specifying and Verifying Hardware for Tamper-Resistant Software (2003)

by D Lie, J Mitchell, C Thekkath, M Horowitz
Venue:in Proc. of the 2003 IEEE Symposium on Security and Privacy