Open access
Aug 2026
AERO-GUARD: A Post-Quantum Mutual Authentication Drone Protocol with Homomorphic Encryption for Secure Road Surveillance in Smart Cities
Formal verification results demonstrate that AERO-GUARD satisfies the targeted security properties, including mutual authentication, secrecy preservation, and replay resistance, confirming the protocol’s resilience against common authentication attacks.
Albandari Alsumayt, Arwa Almalki, Reema Almassary et al.
· Future Internet · 0 citations