Specifying and Verifying Hardware for Tamper-Resistant Software.

David Lie, John C. Mitchell, Chandramohan A. Thekkath, Mark Horowitz

Browse the full SP paper archive.