activity
20162025
most citedTriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA

37 citations · 63 across the 12 of their papers we have counts for

collaborators
Showing 2018Show all

1 paper · 1 filter

cs.CR2018

MeltdownPrime and SpectrePrime: Automatically-Synthesized Attacks Exploiting Invalidation-Based Coherence Protocols

Caroline Trippel, Daniel Lustig, Margaret Martonosi

The recent Meltdown and Spectre attacks highlight the importance of automated verification techniques for identifying hardware security vulnerabilities. We have developed a tool fo…