AMuLeT: Automated Design-Time Testing of Secure Speculation Countermeasures | Publicación