Jannik Dreier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
8
Active years
2012–2022
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CCS | Themis: An On-Site Voting System with Systematic Cast-as-intended Verification and Partial Accountability. | Mikael Bougon, Herv Chabanne, Vronique Cortier, Alexandre Debant, Emmanuelle Dottax, Jannik Dreier, Pierrick Gaudry, Mathieu Turuani |
| 2021 | CCS | Verifying Table-Based Elections. | David A. Basin, Jannik Dreier, Sofia Giampietro, Sasa Radomirovic |
| 2020 | ESORICS | Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols. | Vronique Cortier, Stphanie Delaune, Jannik Dreier |
| 2018 | CCS | A Formal Analysis of 5G Authentication. | David A. Basin, Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse, Vincent Stettler |
| 2018 | FUN | A Cryptographer's Conspiracy Santa. | Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade |
| 2018 | RCIS | Security analysis and psychological study of authentication methods with PIN codes. | Xavier Bultel, Jannik Dreier, Matthieu Giraud, Marie Izaute, Timothe Kheyrkhah, Pascal Lafourcade, Dounia Lakhzoum, Vincent Marlin, Ladislav Motk |
| 2018 | SSS | Physical Zero-Knowledge Proof for Makaro. | Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Atsuki Nagao, Tatsuya Sasaki, Kazumasa Shinagawa, Hideaki Sone |
| 2017 | SECRYPT | Formally Verifying Flow Properties in Industrial Systems. | Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch |
| 2016 | FUN | Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen. | Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade |
| 2015 | CCS | Automated Symbolic Proofs of Observational Equivalence. | David A. Basin, Jannik Dreier, Ralf Sasse |
| 2015 | ISPEC | A Framework for Analyzing Verifiability in Traditional and Electronic Exams. | Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini |
| 2015 | SECRYPT | Formal Analysis of E-Cash Protocols. | Jannik Dreier, Ali Kassem, Pascal Lafourcade |
| 2014 | FUN | Secure Auctions without Cryptography. | Jannik Dreier, Hugo Jonker, Pascal Lafourcade |
| 2014 | SECRYPT | Formal Analysis of Electronic Exams. | Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan |
| 2013 | CCS | Defining verifiability in e-auction protocols. | Jannik Dreier, Hugo Jonker, Pascal Lafourcade |
| 2013 | FOSSACS | On Unique Decomposition of Processes in the Applied π-Calculus. | Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech |
| 2012 | ESORICS | Defining Privacy for Weighted Votes, Single and Multi-voter Coercion. | Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech |