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
Volume
Pages 166-177
May 2003
Topic(s): security verification