Oliveira, José, E 		Dutra, Diego.
" µVM A microarchitectural Intermediate Language for Speculative Execution Testing" <em>Anais do Simpósio Brasileiro de Cibersegurança (SBSeg)</em> [Online], (1 setembro 2026)