21 citations · 29 across the 4 of their papers we have counts for
4 papers · 1 filter
Experimental Analysis of Subscribers' Privacy Exposure by LTE Paging
Christian Sørseth, Xianyu Shelley Zhou, Stig F. Mjølsnes +1
Over the last years, considerable attention has been given to the privacy of individuals in wireless environments. Although significantly improved over the previous generations of…
Easy 4G/LTE IMSI Catchers for Non-Programmers
Stig F. Mjølsnes, Ruxandra F. Olimid
IMSI Catchers are tracking devices that break the privacy of the subscribers of mobile access networks, with disruptive effects to both the communication services and the trust and…
Computational Security Analysis of the UMTS and LTE Authentication and Key Agreement Protocols
Joe-Kai Tsay, Stig Mjølsnes
We present a computational security analysis of the Authentication and Key Agreement (AKA) protocols for both Long-Term Evolution (LTE) and Universal Mobile Telecommunications Syst…
A framework for compositional verification of security protocols
Suzana Andova, Cas Cremers, Kristian Gjosteen +3
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysis…