Nils Mäurer, Christoph Gentsch, Thomas Gräupl, Corinna Schmitt. Formal Security Verification of the Station-to-Station based Cell-attachment Procedure of LDACS. In Sabrina De Capitani di Vimercati, Pierangela Samarati, editors, Proceedings of the 18th International Conference on Security and Cryptography, SECRYPT 2021, July 6-8, 2021. pages 603-610, SCITEPRESS, 2021. [doi]
Abstract is missing.