2024
Conference papers
- titre
- Shaken, not Stirred -Automated Discovery of Subtle Attacks on Protocols using Mix-Nets
- auteur
- Jannik Dreier, Pascal Lafourcade, Dhekra Mahmoud
- article
- Usenix Security Symposium, Aug 2024, Philadelphia, United States
- Accès au texte intégral et bibtex
-
2022
Journal articles
- titre
- Optimal Threshold Padlock Systems
- auteur
- Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Léo Robert
- article
- Journal of Computer Security, 2022, 30 (5), pp.655-688. ⟨10.3233/JCS-210065⟩
- Accès au texte intégral et bibtex
-
- titre
- Automatic generation of sources lemmas in TAMARIN: towards automatic proofs of security protocols
- auteur
- Véronique Cortier, Stéphanie Delaune, Jannik Dreier, Elise Klein
- article
- Journal of Computer Security, 2022, 30 (4), pp.573-598. ⟨10.3233/JCS-210053⟩
- Accès au texte intégral et bibtex
-
- titre
- Tamarin: Verification of Large-Scale, Real World, Cryptographic Protocols
- auteur
- David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse
- article
- IEEE Security and Privacy Magazine, In press, ⟨10.1109/msec.2022.3154689⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Themis: an On-Site Voting System with Systematic Cast-as-intended Verification and Partial Accountability
- auteur
- Mikaël Bougon, Hervé Chabanne, Véronique Cortier, Alexandre Debant, Emmanuelle Dottax, Jannik Dreier, Pierrick Gaudry, Mathieu Turuani
- article
- CCS 2022 – The ACM Conference on Computer and Communications Security, Nov 2022, Los Angeles, United States. ⟨10.1145/3548606.3560563⟩
- Accès au texte intégral et bibtex
-
2021
Conference papers
- titre
- Verifying Table-Based Elections
- auteur
- David Basin, Jannik Dreier, Sofia Giampietro, Saša Radomirović
- article
- CCS 2021 – ACM SIGSAC Conference on Computer and Communications Security, Nov 2021, Virtual Event, South Korea. pp.2632-2652, ⟨10.1145/3460120.3484555⟩
- Accès au texte intégral et bibtex
-
2020
Journal articles
- titre
- A Faster Cryptographer’s Conspiracy Santa
- auteur
- Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
- article
- Theoretical Computer Science, 2020, 839, pp.122-134. ⟨10.1016/j.tcs.2020.05.034⟩
- Accès au texte intégral et bibtex
-
- titre
- Verification of Stateful Cryptographic Protocols with Exclusive OR
- auteur
- Jannik Dreier, Lucca Hirschi, Saša Radomirović, Ralf Sasse
- article
- Journal of Computer Security, 2020, 28 (1), pp.1–34. ⟨10.3233/JCS-191358⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Automatic generation of sources lemmas in Tamarin: towards automatic proofs of security protocols
- auteur
- Véronique Cortier, Stéphanie Delaune, Jannik Dreier
- article
- ESORICS 2020 – 25th European Symposium on Research in Computer Security, Sep 2020, Guilford, United Kingdom. pp.3–22, ⟨10.1007/978-3-030-59013-0_1⟩
- Accès au texte intégral et bibtex
-
2019
Journal articles
- titre
- Security Issues in the 5G Standard and How Formal Methods Come to the Rescue
- auteur
- Lucca Hirschi, Ralf Sasse, Jannik Dreier
- article
- ERCIM News, 2019
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, …
- titre
- A simple alternative to Benaloh challenge for the cast-as-intended property in Helios/Belenios
- auteur
- Véronique Cortier, Jannik Dreier, Pierrick Gaudry, Mathieu Turuani
- article
- 2019
- Accès au texte intégral et bibtex
-
2018
Journal articles
- titre
- Formally and Practically Verifying Flow Integrity Properties in Industrial Systems
- auteur
- Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch
- article
- Computers & Security, 2018, 86, pp.453-470. ⟨10.1016/j.cose.2018.09.018⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Physical Zero-Knowledge Proof for Makaro
- auteur
- Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Atsuki Nagao, Tatsuya Sasaki, Kazumasa Shinagawa, Hideaki Sone
- article
- SSS 2018 – 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2018, Tokyo, Japan. pp.111-125, ⟨10.1007/978-3-030-03232-6_8⟩
- Accès au texte intégral et bibtex
-
- titre
- A Formal Analysis of 5G Authentication
- auteur
- David Basin, Jannik Dreier, Lucca Hirschi, Saša Radomirovic, Ralf Sasse, Vincent Stettler
- article
- ACM CCS 2018 – 25th ACM Conference on Computer and Communications Security, Oct 2018, Toronto, Canada. ⟨10.1145/3243734.3243846⟩
- Accès au texte intégral et bibtex
-
- titre
- Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR
- auteur
- Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse
- article
- CSF’2018 – 31st IEEE Computer Security Foundations Symposium, Jul 2018, Oxford, United Kingdom. ⟨10.1109/CSF.2018.00033⟩
- Accès au texte intégral et bibtex
-
- titre
- A Cryptographer’s Conspiracy Santa
- auteur
- Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
- article
- FUN 2018 – 9th International Conference on Fun with Algorithms, Jun 2018, La Maddalena, Italy. pp.13:1–13:13, ⟨10.4230/LIPIcs.FUN.2018.13⟩
- Accès au texte intégral et bibtex
-
- titre
- Security Analysis and Psychological Study of Authentication Methods with PIN Codes
- auteur
- Xavier Bultel, Jannik Dreier, Matthieu Giraud, Marie Izaute, Timothée Kheyrkhah, Pascal Lafourcade, Dounia Lakhzoum, Vincent Marlin, Ladislav Motá
- article
- RCIS 2018 – IEEE 12th International Conference on Research Challenges in Information Science, May 2018, Nantes, France. pp.1–11, ⟨10.1109/RCIS.2018.8406648⟩
- Accès au texte intégral et bibtex
-
Reports
- titre
- Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR (Extended Version)
- auteur
- Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse
- article
- [Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy; ETH Zurich, Switzerland; University of Dundee. 2018
- Accès au texte intégral et bibtex
-
2017
Journal articles
- titre
- Symbolically Analyzing Security Protocols using Tamarin
- auteur
- David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse
- article
- ACM SIGLOG News, 2017, ⟨10.1145/3157831.3157835⟩
- Accès au texte intégral et bibtex
-
- titre
- How to Explain Modern Security Concepts to your Children
- auteur
- Xavier Bultel, Jannik Dreier, Pascal Lafourcade, Malika More
- article
- Cryptologia, 2017, 41 (5), ⟨10.1080/01611194.2016.1238422⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Formal Analysis of Combinations of Secure Protocols
- auteur
- Elliott Blot, Jannik Dreier, Pascal Lafourcade
- article
- FPS 2017 – 10th International Symposium on Foundations & Practice of Security, Oct 2017, Nancy, France. pp.53-67, ⟨10.1007/978-3-319-75650-9_4⟩
- Accès au texte intégral et bibtex
-
- titre
- Formally Verifying Flow Properties in Industrial Systems
- auteur
- Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch
- article
- SECRYPT 2017 – 14th International Conference on Security and Cryptography, Jul 2017, Madrid, Spain. pp.55-66, ⟨10.5220/0006396500550066⟩
- Accès au texte intégral et bibtex
-
- titre
- A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and its Application to Fair Exchange
- auteur
- Michael Backes, Jannik Dreier, Steve Kremer, Robert Künnemann
- article
- 2nd IEEE European Symposium on Security and Privacy (EuroS&P’17), Apr 2017, Paris, France. ⟨10.1109/EuroSP.2017.12⟩
- Accès au texte intégral et bibtex
-
- titre
- Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols (extended version)
- auteur
- Jannik Dreier, Charles Duménil, Steve Kremer, Ralf Sasse
- article
- POST 2017 – 6th International Conference on Principles of Security and Trust, Apr 2017, Uppsala, Sweden. pp.117-140, ⟨10.1007/978-3-662-54455-6_6⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, …
- titre
- Formal Analysis of Combinations of Secure Protocols
- auteur
- Elliott Blot, Jannik Dreier, Pascal Lafourcade
- article
- 2017
- Accès au texte intégral et bibtex
-
2016
Journal articles
- titre
- On the existence and decidability of unique decompositions of processes in the applied π-calculus
- auteur
- Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
- article
- Theoretical Computer Science, 2016, 612, pp.102–125. ⟨10.1016/j.tcs.2015.11.033⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen
- auteur
- Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
- article
- 8th International Conference on Fun with Algorithms, Jun 2016, La Maddalena, Italy. pp.8:1-8:20, ⟨10.4230/LIPIcs.FUN.2016.8⟩
- Accès au texte intégral et bibtex
-
2015
Journal articles
- titre
- Brandt’s fully private auction protocol revisited
- auteur
- Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
- article
- Journal of Computer Security, 2015, Special issue on security and high performance computing systems, 23 (5), pp.587-610. ⟨10.3233/JCS-150535⟩
- Accès au texte intégral et bibtex
-
- titre
- Formal Security Analysis of Traditional and Electronic Exams
- auteur
- Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan
- article
- Communications in Computer and Information Science, 2015, ⟨10.1007/978-3-319-25915-4_16⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Automated Symbolic Proofs of Observational Equivalence
- auteur
- David Basin, Jannik Dreier, Ralf Sasse
- article
- 22nd ACM SIGSAC Conference on Computer and Communications Security (ACM CCS 2015), ACM, Oct 2015, Denver, United States. pp.1144–1155, ⟨10.1145/2810103.2813662⟩
- Accès au texte intégral et bibtex
-
- titre
- Automated Verification of E-Cash Protocols
- auteur
- Jannik Dreier, Ali Kassem, Pascal Lafourcade
- article
- ICETE 2015 – 12th International Joint Conference on e-Business and Telecommunications, Jul 2015, Colmar, France. ⟨10.1007/978-3-319-30222-5_11⟩
- Accès au texte intégral et bibtex
-
- titre
- Formal Analysis of E-Cash Protocols
- auteur
- Jannik Dreier, Ali Kassem, Pascal Lafourcade
- article
- 12th International Conference on Security and Cryptography (SECRYPT 2015), Jul 2015, Colmar, France. ⟨10.5220/0005544500650075⟩
- Accès au texte intégral et bibtex
-
- titre
- A Framework for Analyzing Verifiability in Traditional and Electronic Exams
- auteur
- Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini
- article
- Information Security Practice and Experience Conference, May 2015, beijin, China. ⟨10.1007/978-3-319-17533-1_35⟩
- Accès au texte intégral et bibtex
-
Reports
- titre
- On the Verifiability of (Electronic) Exams
- auteur
- Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini
- article
- [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2015
- Accès au texte intégral et bibtex
-
2014
Conference papers
- titre
- Formal Analysis of Electronic Exams
- auteur
- Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan
- article
- First Symposium on Digital Trust in Auvergne (SDTA’14), Dec 2014, Clermont-Ferrand, France
- Accès au bibtex
-
- titre
- Formal Analysis of Electronic Exams
- auteur
- Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan
- article
- 11th International Conference on Security and Cryptography (SECRYPT 2014), Aug 2014, Vienne, Austria. ⟨10.5220/0005050901010112⟩
- Accès au texte intégral et bibtex
-
- titre
- Secure Auctions without Cryptography
- auteur
- Jannik Dreier, Hugo Jonker, Pascal Lafourcade
- article
- 7th International Conference on Fun with Algorithms – FUN 2014, Jul 2014, Lipari, Italy. pp.158-170, ⟨10.1007/978-3-319-07890-8_14⟩
- Accès au texte intégral et bibtex
-
Reports
- titre
- Secure Auctions Without Cryptography (extended version)
- auteur
- Jannik Dreier, Hugo Jonker, Pascal Lafourcade
- article
- [Technical Report] ETH Zurich. 2014
- Accès au texte intégral et bibtex
-
2013
Conference papers
- titre
- Brandt’s Fully Private Auction Protocol Revisited
- auteur
- Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
- article
- Africacrypt 2013, Jun 2013, Le Caire, Egypt. pp.88-106, ⟨10.1007/978-3-642-38553-7_5⟩
- Accès au texte intégral et bibtex
-
- titre
- Defining Verifiability in e-Auction Protocols
- auteur
- Jannik Dreier, Hugo Jonker, Pascal Lafourcade
- article
- Asia Conference on Information, Computer and Communications Security, ACM, May 2013, Hangzhou, China. ⟨10.1145/2484313.2484387⟩
- Accès au texte intégral et bibtex
-
- titre
- Verifiability in e-Auction Protocols
- auteur
- Jannik Dreier, Hugo Jonker, Pascal Lafourcade
- article
- 1st Workshop on Hot Issues in Security Principles and Trust (HotSpot’13), Mar 2013, Rome, Italy
- Accès au texte intégral et bibtex
-
- titre
- Formal Verification of e-Auction Protocols
- auteur
- Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
- article
- International Conference on Principles of Security and Trust, Mar 2013, Rome, Italy. ⟨10.1007/978-3-642-36830-1_13⟩
- Accès au texte intégral et bibtex
-
- titre
- On Unique Decomposition of Processes in the Applied π-Calculus
- auteur
- Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
- article
- 16th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2013), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2013), Mar 2013, Rome, Italy. ⟨10.1007/978-3-642-37075-5_4⟩
- Accès au texte intégral et bibtex
-
2012
Conference papers
- titre
- Defining Privacy for Weighted Votes, Single and Multi-voter Coercion
- auteur
- Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
- article
- European Symposium on Research in Computer Security (ESORICS), Sep 2012, Pise, Italy. ⟨10.1007/978-3-642-33167-1_26⟩
- Accès au texte intégral et bibtex
-
- titre
- A Formal Taxonomy of Privacy in Voting Protocols
- auteur
- Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
- article
- First IEEE International Workshop on Security and Forensics in Communication Systems (ICC’12 WS – SFCS), Jun 2012, Ottawa, Canada. ⟨10.1109/ICC.2012.6364938⟩
- Accès au texte intégral et bibtex
-
Reports
- titre
- Defining Privacy for Weighted Votes, Single and Multi-voter Coercion
- auteur
- Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
- article
- [Research Report] VERIMAG. 2012
- Accès au texte intégral et bibtex
-
- titre
- Formal Verification of e-Auction Protocols
- auteur
- Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
- article
- [Technical Report] TR-2012-17, VERIMAG. 2012
- Accès au texte intégral et bibtex
-
- titre
- On Unique Decomposition of Processes in the Applied π-Calculus
- auteur
- Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
- article
- [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2012
- Accès au texte intégral et bibtex
-
2011
Conference papers
- titre
- Practical Privacy-Preserving Multiparty Linear Programming Based on Problem Transformation
- auteur
- Jannik Dreier, Florian Kerschbaum
- article
- Third IEEE International Conference on Information Privacy, Security, Risk and Trust (PASSAT’11), IEEE, Oct 2011, Boston, United States. ⟨10.1109/PASSAT/SocialCom.2011.19⟩
- Accès au texte intégral et bibtex
-
- titre
- Vote-Independence: A Powerful Privacy Notion for Voting Protocols
- auteur
- Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
- article
- 4th Canada-France MITACS Workshop on Foundations & Practice of Security (FPS’11), May 2011, Paris, France. ⟨10.1007/978-3-642-27901-0_13⟩
- Accès au texte intégral et bibtex
-
Reports
- titre
- Practical Secure and Efficient Multiparty Linear Programming Based on Problem Transformation
- auteur
- Jannik Dreier, Florian Kerschbaum
- article
- [Technical Report] IACR Cryptology ePrint Archive. 2011
- Accès au texte intégral et bibtex
-
- titre
- A formal taxonomy of privacy in voting protocols
- auteur
- Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
- article
- [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2011
- Accès au texte intégral et bibtex
-
- titre
- Vote-Independence: A Powerful Privacy Notion for Voting Protocols
- auteur
- Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
- article
- [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2011
- Accès au texte intégral et bibtex
-
