Meneses, Rodrigo, 		Teixeira, Caio, E 		Henriques, Marco.
" Design, Formal Verification, and Evaluation of a Post-Quantum EDHOC Variant for UAV Communications" <em>Anais do Simpósio Brasileiro de Cibersegurança (SBSeg)</em> [Online], (1 setembro 2026)