J. Oliveira and D. Dutra.
" µVM A microarchitectural Intermediate Language for Speculative Execution Testing", in <em>Anais do XXVI Simpósio Brasileiro de Cibersegurança</em>, Armação dos Búzios/RJ, 2026, pp. 1356-1371, doi: <a href="https://doi.org/10.5753/sbseg.2026.26915">https://doi.org/10.5753/sbseg.2026.26915</a>.