Jannik Dreier - RankMe

47 papers A* 5A 4B 2C 5Misc 3Journal 17Unranked 10

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