Mechanized Certification of Secure Hardware Designs (2007)

by Sandip Ray, Warren A Hunt
Venue:Proceedings of the 8th International Workshop on Microprocessor Test and Verification, Common Challenges and Solutions (MTV 2007