AMuLeT: Automated Design-Time Testing of Secure Speculation Countermeasures
In recent years, several hardware-based countermeasures proposed to mitigate Spectre attacks have been shown to be insecure. To enable the development of effective secure speculation countermeasures, we need easy-to-use tools that can automatically test their security guarantees early-on in the design phase to facilitate rapid prototyping.
Authors
- Oleksii Oleksenko (ORCID: https://orcid.org/0009-0009-1964-8038)
- Mark Silberstein (ORCID: https://orcid.org/0000-0001-9659-068X)
- A. W. Klein (ORCID: https://orcid.org/0009-0006-4908-0867)
- Bo Fu (ORCID: https://orcid.org/0000-0002-0310-2075)
- Arpit Gogia
- David Gray Adler
- Marco Guarnieri (ORCID: https://orcid.org/0000-0001-5767-555X)
- Gururaj Saileshwar (ORCID: https://orcid.org/0000-0003-3542-2548)
- Alaa R. Alameldeen (ORCID: https://orcid.org/0000-0002-9064-4621)
- Leo Tenenbaum
Institutions
- Technion – Israel Institute of Technology (IL)
- Simon Fraser University (CA)
- University of Toronto (CA)
- IMDEA Software Institute (ES)
- Microsoft Research (United Kingdom) (GB)
Publication Details
- Published
- 2025-03-27
- DOI
- https://doi.org/10.1145/3676641.3716247
- Citations
- 1
- Primary Topic
- Security and Verification in Computing
- Type
- article
- Field-Weighted Citation Impact
- 2.48