Sandip Ray, Warren A. Hunt Jr.. Mechanized Certification of Secure Hardware Designs. In Magdy S. Abadir, Li-C. Wang, Jayanta Bhadra, editors, Eighth International Workshop on Microprocessor Test and Verification (MTV 2007), Common Challenges and Solutions, 5-6 December 2007, Austin, Texas, USA. pages 25-32, IEEE Computer Society, 2007. [doi]
Abstract is missing.