1 citations · 1 across the 1 of their papers we have counts for
3 papers
cs.CR2019★ 1 cited
Symbolic Abstractions for Quantum Protocol Verification
Lucca Hirschi
Quantum protocols such as the BB84 Quantum Key Distribution protocol exchange qubits to achieve information-theoretic security guarantees. Many variants thereof were proposed, some…
cs.CR2018
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…