Oliveira, José, and Diego L. C. Dutra.
" µVM A microarchitectural Intermediate Language for Speculative Execution Testing." <em>Anais do XXVI Simpósio Brasileiro de Cibersegurança,
Armação dos Búzios/RJ, 2026</em>. SBC, 2026,  
pp.1356-1371.