R. Meneses, C. Teixeira, and M. Henriques.
" Design, Formal Verification, and Evaluation of a Post-Quantum EDHOC Variant for UAV Communications", in <em>Anais do XXVI Simpósio Brasileiro de Cibersegurança</em>, Armação dos Búzios/RJ, 2026, pp. 472-487, doi: <a href="https://doi.org/10.5753/sbseg.2026.27127">https://doi.org/10.5753/sbseg.2026.27127</a>.