Lucca Hirschi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2015–2024
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SP | DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing. | Max Ammann, Lucca Hirschi, Steve Kremer |
| 2018 | CCS | A Formal Analysis of 5G Authentication. | David A. Basin, Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse, Vincent Stettler |
| 2018 | ESORICS | POR for Security Protocol Equivalences - Beyond Action-Determinism. | David Baelde, Stphanie Delaune, Lucca Hirschi |
| 2017 | SP | Mobile Subscriber WiFi Privacy. | Piers O'Hanlon, Ravishankar Borgaonkar, Lucca Hirschi |
| 2016 | LICS | Towards Completeness via Proof Search in the Linear Time μ-calculus: The case of Bchi inclusions. | Amina Doumane, David Baelde, Lucca Hirschi, Alexis Saurin |
| 2016 | SP | A Method for Verifying Privacy-Type Properties: The Unbounded Case. | Lucca Hirschi, David Baelde, Stphanie Delaune |
| 2015 | CONCUR | Partial Order Reduction for Security Protocols. | David Baelde, Stphanie Delaune, Lucca Hirschi |