Jannik Dreier

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 28

Top Topics

Locally Decodable Codes

Security Protocols

Auction Protocol

Formal Analysis

Top Venues

J. Comput. Secur.

Publications

Jannik Dreier, Pascal Lafourcade, Dhekra Mahmoud
Shaken, not Stirred - Automated Discovery of Subtle Attacks on Protocols using Mix-Nets. USENIX Security Symposium (2024)
Mikael Bougon, Hervé Chabanne, Véronique Cortier, Alexandre Debant, Emmanuelle Dottax, Jannik Dreier, Pierrick Gaudry, Mathieu Turuani
Themis: An On-Site Voting System with Systematic Cast-as-intended Verification and Partial Accountability. CCS (2022)
David A. Basin, Cas Cremers, Jannik Dreier, Ralf Sasse
Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols. IEEE Secur. Priv. 20 (3) (2022)
Véronique Cortier, Stéphanie Delaune, Jannik Dreier, Elise Klein
Automatic generation of sources lemmas in Tamarin: Towards automatic proofs of security protocols. J. Comput. Secur. 30 (4) (2022)
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Léo Robert
Optimal threshold padlock systems. J. Comput. Secur. 30 (5) (2022)
David A. Basin, Jannik Dreier, Sofia Giampietro, Sasa Radomirovic
Verifying Table-Based Elections. CCS (2021)
Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse
Verification of stateful cryptographic protocols with exclusive OR. J. Comput. Secur. 28 (1) (2020)
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
A faster cryptographer's Conspiracy Santa. Theor. Comput. Sci. 839 (2020)
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Léo Robert
Optimal Threshold Padlock Systems. CoRR (2020)
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
A Faster Cryptographer's Conspiracy Santa. CoRR (2020)
Véronique Cortier, Stéphanie Delaune, Jannik Dreier
Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols. ESORICS (2) (2020)
Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch
Formally and practically verifying flow properties in industrial systems. Comput. Secur. 86 (2019)
Lucca Hirschi, Ralf Sasse, Jannik Dreier
Security Issues in the 5G Standard and How Formal Methods Come to the Rescue. ERCIM News 2019 (117) (2019)
David A. Basin, Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse, Vincent Stettler
Formal Analysis of 5G Authentication. CoRR (2018)
Xavier Bultel, Jannik Dreier, Matthieu Giraud, Marie Izaute, Timothée Kheyrkhah, Pascal Lafourcade, Dounia Lakhzoum, Vincent Marlin, Ladislav Moták
Security analysis and psychological study of authentication methods with PIN codes. RCIS (2018)
David A. Basin, Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse, Vincent Stettler
A Formal Analysis of 5G Authentication. CCS (2018)
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Atsuki Nagao, Tatsuya Sasaki, Kazumasa Shinagawa, Hideaki Sone
Physical Zero-Knowledge Proof for Makaro. SSS (2018)
Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse
Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR. CSF (2018)
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
A Cryptographer's Conspiracy Santa. FUN (2018)
Jannik Dreier, Charles Duménil, Steve Kremer, Ralf Sasse
Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols. POST (2017)
David A. Basin, Cas Cremers, Jannik Dreier, Ralf Sasse
Symbolically analyzing security protocols using tamarin. ACM SIGLOG News 4 (4) (2017)
Xavier Bultel, Jannik Dreier, Pascal Lafourcade, Malika More
How to explain modern security concepts to your children. Cryptologia 41 (5) (2017)
Elliott Blot, Jannik Dreier, Pascal Lafourcade
Formal Analysis of Combinations of Secure Protocols. FPS (2017)
Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch
Formally Verifying Flow Properties in Industrial Systems. SECRYPT (2017)
Michael Backes, Jannik Dreier, Steve Kremer, Robert Künnemann
A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and Its Application to Fair Exchange. EuroS&P (2017)
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen. CoRR (2016)
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen. FUN (2016)
Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
On the existence and decidability of unique decompositions of processes in the applied π-calculus. Theor. Comput. Sci. 612 (2016)
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini
A Framework for Analyzing Verifiability in Traditional and Electronic Exams. ISPEC (2015)
David A. Basin, Jannik Dreier, Ralf Sasse
Automated Symbolic Proofs of Observational Equivalence. CCS (2015)
Jannik Dreier, Ali Kassem, Pascal Lafourcade
Automated Verification of e-Cash Protocols. ICETE (Selected Papers) (2015)
Jannik Dreier, Ali Kassem, Pascal Lafourcade
Formal Analysis of E-Cash Protocols. SECRYPT (2015)
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
Brandt's fully private auction protocol revisited. J. Comput. Secur. 23 (5) (2015)
Jannik Dreier, Hugo Jonker, Pascal Lafourcade
Secure Auctions without Cryptography. FUN (2014)
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan
Formal Security Analysis of Traditional and Electronic Exams. ICETE (Selected Papers) (2014)
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan
Formal Analysis of Electronic Exams. SECRYPT (2014)
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
Formal Verification of e-Auction Protocols. POST (2013)
Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
On Unique Decomposition of Processes in the Applied π-Calculus. FoSSaCS (2013)
Jannik Dreier, Hugo Jonker, Pascal Lafourcade
Defining verifiability in e-auction protocols. AsiaCCS (2013)
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
Brandt's Fully Private Auction Protocol Revisited. AFRICACRYPT (2013)
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
Defining Privacy for Weighted Votes, Single and Multi-voter Coercion. ESORICS (2012)
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
Attacking Privacy in a Fully Private Auction Protocol CoRR (2012)
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
A formal taxonomy of privacy in voting protocols. ICC (2012)
Jannik Dreier, Florian Kerschbaum
Practical Secure and Efficient Multiparty Linear Programming Based on Problem Transformation. IACR Cryptol. ePrint Arch. 2011 (2011)
Jannik Dreier, Florian Kerschbaum
Practical Privacy-Preserving Multiparty Linear Programming Based on Problem Transformation. SocialCom/PASSAT (2011)
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
Vote-Independence: A Powerful Privacy Notion for Voting Protocols. FPS (2011)