Tom Wray, Ying Wang. PAVE-MAVLink: Formal Verification of MAVLink 2 for Secure UAV Communications. In IEEE Military Communications Conference, MILCOM 2025, Los Angeles, CA, USA, October 6-10, 2025. pages 1389-1395, IEEE, 2025. [doi]
Abstract is missing.