G. Martins and R. Campiolo.
" Specification framework for privilege escalation testing in Linux systems", in <em>Companion Proceedings of the 25th Brazilian Symposium on Cybersecurity</em>, Foz do Iguaçu/PR, 2025, pp. 312-318, doi: <a href="https://doi.org/10.5753/sbseg_estendido.2025.11876">https://doi.org/10.5753/sbseg_estendido.2025.11876</a>.