Specifying and verifying hardware for tamper-resistant software

David Lie, John C. Mitchell, Chandramohan A. Thekkath, Mark Horowitz
[doi] [Google Scholar] [DBLP] [Citeseer]

2003 Symposium on Security and Privacy, 2003.
Volume
Pages 166-177
May 2003
Topic(s): security verification