Formal Verification of 5G EAP-AKA protocol. - Megha Ajit; Sriram Sankaran; Kurunandan Jain (ITNAC, 2021)