AMuLeT: Automated Design-Time Testing of Secure Speculation Countermeasures.

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

Browse the full ASPLOS paper archive.