TY  - RPRT
TI  - AMuLeT: Automated Design-Time Testing of Secure Speculation Countermeasures
AU  - Bo Fu
AU  - Leo Tenenbaum
AU  - David Adler
AU  - Assaf Klein
AU  - Arpit Gogia
AU  - Alaa R. Alameldeen
AU  - Marco Guarnieri
AU  - Mark Silberstein
AU  - Oleksii Oleksenko
AU  - Gururaj Saileshwar
PY  - 2025
UR  - https://arxiv.org/abs/2503.00145
ID  - 2503.00145
ER  -