Security Verification via Automatic Hardware-Aware Exploit Synthesis: The CheckMate Approach

Caroline Trippel; Daniel Lustig; Margaret Rose Martonosi

doi:10.1109/MM.2019.2910010

Security Verification via Automatic Hardware-Aware Exploit Synthesis: The CheckMate Approach

Caroline Trippel
, Daniel Lustig
, Margaret Rose Martonosi

Research output: Contribution to journal › Article › peer-review

26 Scopus citations

Abstract

Many hardware security exploits result from the combination of well-known attack classes with newly exploited hardware features. CheckMate is an approach and automated tool for evaluating microarchitectural susceptibility to specified attack classes, and for synthesizing proof-of-concept exploit code for susceptible designs.

Original language	English (US)
Article number	8686197
Pages (from-to)	84-93
Number of pages	10
Journal	IEEE Micro
Volume	39
Issue number	3
DOIs	https://doi.org/10.1109/MM.2019.2910010
State	Published - May 1 2019

All Science Journal Classification (ASJC) codes

Software
Hardware and Architecture
Electrical and Electronic Engineering

Access to Document

10.1109/MM.2019.2910010

Cite this

@article{8bf27fcf3b284a0981f4d138c1a765b0,

title = "Security Verification via Automatic Hardware-Aware Exploit Synthesis: The CheckMate Approach",

abstract = "Many hardware security exploits result from the combination of well-known attack classes with newly exploited hardware features. CheckMate is an approach and automated tool for evaluating microarchitectural susceptibility to specified attack classes, and for synthesizing proof-of-concept exploit code for susceptible designs.",

author = "Caroline Trippel and Daniel Lustig and Martonosi, \{Margaret Rose\}",

note = "Publisher Copyright: {\textcopyright} 2019 IEEE.",

year = "2019",

month = may,

day = "1",

doi = "10.1109/MM.2019.2910010",

language = "English (US)",

volume = "39",

pages = "84--93",

journal = "IEEE Micro",

issn = "0272-1732",

publisher = "IEEE Computer Society",

number = "3",

}

TY - JOUR

T1 - Security Verification via Automatic Hardware-Aware Exploit Synthesis

T2 - The CheckMate Approach

AU - Trippel, Caroline

AU - Lustig, Daniel

AU - Martonosi, Margaret Rose

PY - 2019/5/1

Y1 - 2019/5/1

N2 - Many hardware security exploits result from the combination of well-known attack classes with newly exploited hardware features. CheckMate is an approach and automated tool for evaluating microarchitectural susceptibility to specified attack classes, and for synthesizing proof-of-concept exploit code for susceptible designs.

AB - Many hardware security exploits result from the combination of well-known attack classes with newly exploited hardware features. CheckMate is an approach and automated tool for evaluating microarchitectural susceptibility to specified attack classes, and for synthesizing proof-of-concept exploit code for susceptible designs.

UR - https://www.scopus.com/pages/publications/85064630220

UR - https://www.scopus.com/pages/publications/85064630220#tab=citedBy

U2 - 10.1109/MM.2019.2910010

DO - 10.1109/MM.2019.2910010

M3 - Article

AN - SCOPUS:85064630220

SN - 0272-1732

VL - 39

SP - 84

EP - 93

JO - IEEE Micro

JF - IEEE Micro

IS - 3

M1 - 8686197

ER -

Security Verification via Automatic Hardware-Aware Exploit Synthesis: The CheckMate Approach

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this