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

by David Lie , John Mitchell , Chandramohan A. Thekkath, Mark Horowitz
Venue:IN IEEE SYMP. ON SECURITY AND PRIVACY
Citations:31 - 1 self