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 (ASPLOS (2), 2025)