IEEE - Institute of Electrical and Electronics Engineers, Inc. - Model checking to find vulnerabilities in an instruction set architecture

2016 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST)

Author(s): Chris Bradfield ; Cynthia Sturton
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 May 2016
Conference Location: McLean, VA, USA
Conference Date: 3 May 2016
Page(s): 109 - 113
ISBN (Electronic): 978-1-4673-8826-9
ISBN (USB): 978-1-4673-8825-2
DOI: 10.1109/HST.2016.7495566
Regular:

Hardware companies conduct extensive testing and verification during the processor design process to reduce the number of errata that persist to the final product. These processes rely on a... View More

Advertisement