SoK: Practical Foundations for Software Spectre Defenses

Sunjay Cauligi, Craig Disselkoen, Daniel Moghimi, Gilles Barthe, Deian Stefan
[doi] [Google Scholar] [DBLP] [Citeseer] [url]

43rd IEEE Symposium on Security and Privacy, SP 2022, San Francisco, CA, USA, May 22-26, 2022
IEEE
Pages 666-680
2022

Language based security, Systematization of Knowledge (SoK)