IEEE - Institute of Electrical and Electronics Engineers, Inc. - Security Verification via Automatic Hardware-Aware Exploit Synthesis: The CheckMate Approach

Author(s): Caroline Trippel ; Daniel Lustig ; Margaret Martonosi
Sponsor(s): IEEE Computer Society
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Volume: PP
Page(s): 1
ISSN (Electronic): 1937-4143
ISSN (Paper): 0272-1732
DOI: 10.1109/MM.2019.2910010
Regular:

Many hardware security exploits result from the combination of well-known attack classes with newlyexploited hardware features. CheckMate is an approach and automated tool for evaluating... View More

Advertisement