Oliveira, J., & 		Dutra, D.
2026 set  1.  µVM A microarchitectural Intermediate Language for Speculative Execution Testing. Anais do Simpósio Brasileiro de Cibersegurança (SBSeg). [Online] :