Martins, Gustavo, AND 		Campiolo, Rodrigo.
" Specification framework for privilege escalation testing in Linux systems" <em>Companion Proceedings of the Brazilian Symposium on Cybersecurity (SBSeg)</em> [Online], (1 September 2025)