Séminaire SSL : L. Hirschi (INRIA – LORIA) « Security and Privacy of 5G AKA vs. Formal Verification »
Mobile communication networks connect much of the world’s population. The security of every user’s calls, SMSs, and mobile data, depends on the guarantees provided by the Authenticated Key Exchange protocols used.


