Megha Ajit, Sriram Sankaran, Kurunandan Jain. Formal Verification of 5G EAP-AKA protocol. In 31st International Telecommunication Networks and Applications Conference, ITNAC 2021, Sydney, Australia, November 24-26, 2021. pages 140-146, IEEE, 2021. [doi]
Abstract is missing.