Meneses, R., 		Teixeira, C., & 		Henriques, M.
(2026).
 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>, (pp. 472-487). Porto Alegre: SBC.
doi:10.5753/sbseg.2026.27127