Specifying and verifying hardware for tamper-resistant software (2003)

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