InSpectre: Breaking and Fixing Microarchitectural Vulnerabilities by Formal Analysis.

Roberto Guanciale, Musard Balliu, Mads Dam

Browse the full CCS paper archive.