@misc{indiciae25ec3aa1c3b9,
  title = {AMuLeT: Automated Design-Time Testing of Secure Speculation Countermeasures},
  author = {Bo Fu and Leo Tenenbaum and David Adler and Assaf Klein and Arpit Gogia and Alaa R. Alameldeen and Marco Guarnieri and Mark Silberstein and Oleksii Oleksenko and Gururaj Saileshwar},
  year = {2025},
  url = {https://arxiv.org/abs/2503.00145},
  note = {Source identifier: 2503.00145}
}