Martins, Gustavo, and Rodrigo Campiolo.
" Specification framework for privilege escalation testing in Linux systems." <em>Companion Proceedings of the 25th Brazilian Symposium on Cybersecurity,
Foz do Iguaçu/PR, 2025</em>. SBC, 2025,  
pp.312-318.