DMCA

Automatic quantification of cache side-channels

by Boris Köpf , Laurent Mauborgne , Martín Ochoa
Venue:IN: PROC. 24TH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED VERIFICATION (CAV
Citations:18 - 2 self