awesome-5G-AKA

Awesome Authenticated Key Agreements for 5G Networks

AKA Simulator in C

• https://github.com/PascalMat/5G-AKA-simulation-in-C

5G Wireless using AMPL

https://github.com/shabeelkandi/Modelling-the-provision-of-5G-Wireless-Internet-using-AMPL

5G AKA Protocol Privacy

• http://www.lsv.fr/~koutsos/techreports/aka.pdf
• https://arxiv.org/abs/1811.06922

5G AKA Cryptography Anonymity and Unlinkability

• https://www.researchgate.net/publication/342979788_Symmetric_key_based_5G_AKA_authentication_protocol_satisfying_anonymity_and_unlinkability

Formal Analysis of 5G Authentication

• https://arxiv.org/abs/1806.10360