412 citations · 469 across the 8 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.CR2018★ 412 cited
A Formal Analysis of 5G Authentication
David Basin, Jannik Dreier, Lucca Hirschi +3
Mobile communication networks connect much of the world's population. The security of users' calls, SMSs, and mobile data depends on the guarantees provided by the Authenticated Ke…
cs.CR2018
POR for Security Protocol Equivalences: Beyond Action-Determinism
David Baelde, Stéphanie Delaune, Lucca Hirschi
Formal methods have proved effective to automatically analyze protocols. Over the past years, much research has focused on verifying trace equivalence on protocols, which is notabl…