1. Security architecture; procedures for 5G system;3GPP,2022
2. ProVerif 2.01: automatic cryptographic protocol verifier, user manual and tutorial;Blanchet,2020
3. Formal analysis of 5G EAP-tls authentication protocol using ProVerif;Zhang;IEEE Access,2020
4. Formal verification of secondary authentication protocol for 5G secondary authentication;Edris;Int J Secur Netw,2021
5. Formal verification of 5G EAP-aka protocol;Ajit,2021