Component-Based Formal Analysis of 5G-AKA: Channel Assumptions and Session Confusion

Our paper got accepted in NDSS 2019. Win! Read the full paper here.

Slides to follow.