Meneses, Rodrigo, Caio Teixeira, and Marco Amaral Henriques.
" Design, Formal Verification, and Evaluation of a Post-Quantum EDHOC Variant for UAV Communications." <em>Anais do XXVI Simpósio Brasileiro de Cibersegurança,
Armação dos Búzios/RJ, 2026</em>. SBC, 2026,  
pp.472-487.