IEEE - Institute of Electrical and Electronics Engineers, Inc. - Mechanized Certification of Secure Hardware Designs

2007 IEEE International Workshop on Microprocessor Test and Verification (MTV)

Author(s): S. Ray ; W.A. Hunt
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 December 2007
Conference Location: Austin, TX, USA
Conference Date: 5 December 2007
Page(s): 25 - 32
ISBN (Paper): 978-0-7695-3241-7
ISSN (Paper): 1550-4093
DOI: 10.1109/MTV.2007.16
Regular:

We develop a framework for mechanized certification of secure hardware systems built out of commercial off-the-shelf (COTS) components purchased from untrusted vendors. Certification requires a... View More

Advertisement