Nils Mäurer
Nils Mäurer
Home
Skills
Experience
Publications
Accomplishments
Talks
Posts
Contact
Light
Dark
Automatic
A Secure Ground Handover Protocol for LDACS
Nils Mäurer
Slides
Video
Date
Oct 25, 2022 12:00 PM — Oct 27, 2022 2:00 PM
Event
International Workshop on ATM/CNS (IWAC) 2022
Location
ENRI IWAC 2022
LDACS
Handover
Authentication
Key Establishment
Tamarin
Related
Formal Verification of the LDACS MAKE Protocol
A Secure Cell-Attachment Procedure of LDACS
Formal Security Verification of the Station-to-Station based Cell-attachment Procedure of LDACS
PMAKE: Physical Unclonable Function-based Mutual Authentication Key Exchange Scheme for Digital Aeronautical Communications
Cybersecurity for the L-band Digital Aeronautical Communications System (LDACS)
Cite
×