Gustavo Martins and Rodrigo Campiolo. 2025.
 Specification framework for privilege escalation testing in Linux systems. In <em>Companion Proceedings of the 25th Brazilian Symposium on Cybersecurity</em>, September 01, 2025, Foz do Iguaçu/PR, Brasil. SBC, Porto Alegre, Brasil, 312-318. DOI: <a href="https://doi.org/10.5753/sbseg_estendido.2025.11876">https://doi.org/10.5753/sbseg_estendido.2025.11876</a>.