2018
6.0
Formal Analysis of 5G AKA Finds Gaps in the 5G Authentication Standard
At ACM CCS 2018 (Toronto, October 2018), Basin, Dreier, Hirschi, Radomirović, Sasse and Stettler presented the first comprehensive formal model of 3GPP 5G AKA and showed several critical security goals are not met without assumptions missing from the standard.