AMuLeT: Automated Design-Time Testing of Secure Speculation Countermeasures

Open Webpage

Bo Fu, Leo Tenenbaum, David Adler, Assaf Klein, Arpit Gogia, Alaa R. Alameldeen, Marco Guarnieri, Mark Silberstein, Oleksii Oleksenko, Gururaj Saileshwar

Published: 01 Jan 2025, Last Modified: 13 May 2025ASPLOS (2) 2025EveryoneRevisionsBibTeXCC BY-SA 4.0