Formal Verification of the Security for Dual Connectivity in LTE. - Noamen Ben Henda; Karl Norrman; Katharina Pfeffer (FormaliSE@ICSE, 2015)

Overview on the Security in 5G Phase 2. - Noamen Ben Henda (J. ICT Stand., 2020)