Stéphanie Alt, Pierre-Alain Fouque, Gilles Macario-Rat, Cristina Onete, Benjamin Richard. A Cryptographic Analysis of UMTS/LTE AKA. In Mark Manulis, Ahmad-Reza Sadeghi, Steve Schneider, editors, Applied Cryptography and Network Security - 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings. Volume 9696 of Lecture Notes in Computer Science, pages 18-35, Springer, 2016. [doi]
Abstract is missing.