Meneses, R., 		Teixeira, C., & 		Henriques, M.
2026 set  1.  Design, Formal Verification, and Evaluation of a Post-Quantum EDHOC Variant for UAV Communications. Anais do Simpósio Brasileiro de Cibersegurança (SBSeg). [Online] :