Oliveira, J., & 		Dutra, D.
(2026).
 µVM A microarchitectural Intermediate Language for Speculative Execution Testing.
In <em>Anais do XXVI Simpósio Brasileiro de Cibersegurança</em>, (pp. 1356-1371). Porto Alegre: SBC.
doi:10.5753/sbseg.2026.26915