An improved and provably secure symmetric-key based 5G-AKA Protocol

On the security of public key protocols

Danny Dolev, A. Yao · IEEE Transactions on Information Theory · 1983 · 5.7K citations

Computing, Computer Science, Cybersecurity +13

A Formal Analysis of 5G Authentication

David Basin, Jannik Dreier, Lucca Hirschi et al. · 2018 · 396 citations · Full text

Computing, Computer Science, Information Technology +17

Scyther:semantics and verification of security protocols

Cjf Cas Cremers · Data Archiving and Networked Services (DANS) · 2006 · 315 citations · Full text

Computing, Computer Science, Computer Systems +17

Design of Blockchain-Based Lightweight V2I Handover Authentication Protocol for VANET

Seunghwan Son, Joonyoung Lee, Yohan Park et al. · IEEE Transactions on Network Science and Engineering · 2022 · 226 citations

Computing, Automotive Engineering, Computer Science +17

Novel 5G Authentication Protocol to Improve the Resistance Against Active Attacks and Malicious Serving Networks

An Braeken, Madhusanka Liyanage, Pardeep Kumar et al. · IEEE Access · 2019 · 99 citations · Full text

Computing, Computer Science, Information Technology +17