CV

David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse. Tamarin: Verification of Large-Scale, Real World, Cryptographic Protocols. IEEE Security and Privacy Magazine, Institute of Electrical and Electronics Engineers, In press, ⟨10.1109/msec.2022.3154689⟩. ⟨hal-03586826⟩

Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Léo Robert. Optimal Threshold Padlock Systems. Journal of Computer Security, IOS Press, In press, pp.1-34. ⟨10.3233/JCS-210065⟩. ⟨hal-03497369v3⟩

Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade. A Faster Cryptographer's Conspiracy Santa. Theoretical Computer Science, Elsevier, 2020, 839, pp.122-134. ⟨10.1016/j.tcs.2020.05.034⟩. ⟨hal-02611751⟩

Jannik Dreier, Lucca Hirschi, Saša Radomirović, Ralf Sasse. Verification of Stateful Cryptographic Protocols with Exclusive OR. Journal of Computer Security, IOS Press, 2020, 28 (1), pp.1--34. ⟨10.3233/JCS-191358⟩. ⟨hal-02358878⟩

Lucca Hirschi, Ralf Sasse, Jannik Dreier. Security Issues in the 5G Standard and How Formal Methods Come to the Rescue. ERCIM News, ERCIM, 2019. ⟨hal-02268822⟩

Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch. Formally and Practically Verifying Flow Integrity Properties in Industrial Systems. Computers and Security, Elsevier, 2018, 86, pp.453-470. ⟨10.1016/j.cose.2018.09.018⟩. ⟨hal-01959766v2⟩

Xavier Bultel, Jannik Dreier, Pascal Lafourcade, Malika More. How to Explain Modern Security Concepts to your Children. Cryptologia, Taylor & Francis, 2017, 41 (5), ⟨10.1080/01611194.2016.1238422⟩. ⟨hal-01397035⟩

David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse. Symbolically Analyzing Security Protocols using Tamarin. ACM SIGLOG News, ACM, 2017, ⟨10.1145/3157831.3157835⟩. ⟨hal-01622110⟩

Jannik Dreier, Cristian Ene, Pascal Lafourcade, yassine Lakhnech. On the existence and decidability of unique decompositions of processes in the applied π-calculus. Theoretical Computer Science, Elsevier, 2016, 612, pp.102--125. ⟨10.1016/j.tcs.2015.11.033⟩. ⟨hal-01238097v2⟩

Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade. Brandt's fully private auction protocol revisited. Journal of Computer Security, IOS Press, 2015, Special issue on security and high performance computing systems, 23 (5), pp.587-610. ⟨10.3233/JCS-150535⟩. ⟨hal-01233555⟩

Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, et al.. Formal Security Analysis of Traditional and Electronic Exams. Communications in Computer and Information Science, Springer Verlag, 2015, ⟨10.1007/978-3-319-25915-4_16⟩. ⟨hal-01337412⟩

David Basin, Jannik Dreier, Sofia Giampietro, Saša Radomirović. Verifying Table-Based Elections. CCS 2021 - ACM SIGSAC Conference on Computer and Communications Security, Nov 2021, Virtual Event, South Korea. pp.2632-2652, ⟨10.1145/3460120.3484555⟩. ⟨hal-03455459⟩

Véronique Cortier, Stéphanie Delaune, Jannik Dreier. Automatic generation of sources lemmas in Tamarin: towards automatic proofs of security protocols. 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⟩. ⟨hal-02903620⟩

Xavier Bultel, Jannik Dreier, Matthieu Giraud, Marie Izaute, Timothée Kheyrkhah, et al.. Security Analysis and Psychological Study of Authentication Methods with PIN Codes. RCIS 2018 - IEEE 12th International Conference on Research Challenges in Information Science, May 2018, Nantes, France. pp.1--11, ⟨10.1109/RCIS.2018.8406648⟩. ⟨hal-01777898⟩

Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, et al.. Physical Zero-Knowledge Proof for Makaro. 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⟩. ⟨hal-01898048⟩

Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse. Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR. CSF'2018 - 31st IEEE Computer Security Foundations Symposium, Jul 2018, Oxford, United Kingdom. ⟨10.1109/CSF.2018.00033⟩. ⟨hal-01780603⟩

Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade. A Cryptographer's Conspiracy Santa. 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⟩. ⟨hal-01777997v2⟩

David Basin, Jannik Dreier, Lucca Hirschi, Saša Radomirovic, Ralf Sasse, et al.. A Formal Analysis of 5G Authentication. ACM CCS 2018 - 25th ACM Conference on Computer and Communications Security, Oct 2018, Toronto, Canada. ⟨10.1145/3243734.3243846⟩. ⟨hal-01898050⟩

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. 2nd IEEE European Symposium on Security and Privacy (EuroS&P'17), Apr 2017, Paris, France. ⟨10.1109/EuroSP.2017.12⟩. ⟨hal-01396282⟩

Elliott Blot, Jannik Dreier, Pascal Lafourcade. Formal Analysis of Combinations of Secure Protocols. 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⟩. ⟨hal-01596010v2⟩

Jannik Dreier, Charles Duménil, Steve Kremer, Ralf Sasse. Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols (extended version). 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⟩. ⟨hal-01430490v2⟩

Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch. Formally Verifying Flow Properties in Industrial Systems. SECRYPT 2017 - 14th International Conference on Security and Cryptography, Jul 2017, Madrid, Spain. pp.55-66, ⟨10.5220/0006396500550066⟩. ⟨hal-01527913⟩

Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade. Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen. 8th International Conference on Fun with Algorithms, Jun 2016, La Maddalena, Italy. pp.8:1-8:20, ⟨10.4230/LIPIcs.FUN.2016.8⟩. ⟨hal-01326059⟩

Jannik Dreier, Ali Kassem, Pascal Lafourcade. Formal Analysis of E-Cash Protocols. 12th International Conference on Security and Cryptography (SECRYPT 2015), Jul 2015, Colmar, France. ⟨10.5220/0005544500650075⟩. ⟨hal-01337410⟩

Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini. A Framework for Analyzing Verifiability in Traditional and Electronic Exams. Information Security Practice and Experience Conference, May 2015, beijin, China. ⟨10.1007/978-3-319-17533-1_35⟩. ⟨hal-01218138⟩

Jannik Dreier, Ali Kassem, Pascal Lafourcade. Automated Verification of E-Cash Protocols. ICETE 2015 - 12th International Joint Conference on e-Business and Telecommunications, Jul 2015, Colmar, France. ⟨10.1007/978-3-319-30222-5_11⟩. ⟨hal-01840596⟩

David Basin, Jannik Dreier, Ralf Sasse. Automated Symbolic Proofs of Observational Equivalence. 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⟩. ⟨hal-01337409v2⟩

Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, et al.. Formal Analysis of Electronic Exams. 11th International Conference on Security and Cryptography (SECRYPT 2014), Aug 2014, Vienne, Austria. ⟨10.5220/0005050901010112⟩. ⟨hal-01337413⟩

Jannik Dreier, Hugo Jonker, Pascal Lafourcade. Secure Auctions without Cryptography. 7th International Conference on Fun with Algorithms - FUN 2014, Jul 2014, Lipari, Italy. pp.158-170, ⟨10.1007/978-3-319-07890-8_14⟩. ⟨hal-01337414⟩

Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, et al.. Formal Analysis of Electronic Exams. First Symposium on Digital Trust in Auvergne (SDTA'14), Dec 2014, Clermont-Ferrand, France. ⟨hal-01338054⟩

Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade. Brandt's Fully Private Auction Protocol Revisited. Africacrypt 2013, Jun 2013, Le Caire, Egypt. pp.88-106, ⟨10.1007/978-3-642-38553-7_5⟩. ⟨hal-00745247v3⟩

Jannik Dreier, Hugo Jonker, Pascal Lafourcade. Defining Verifiability in e-Auction Protocols. 8th ACM Symposium on Information, Computer and Communications Security (AsiaCCS '13), ACM, May 2013, Hangzhou, China. ⟨10.1145/2484313.2484387⟩. ⟨hal-01337416⟩

Jannik Dreier, Pascal Lafourcade, yassine Lakhnech. Formal Verification of e-Auction Protocols. International Conference on Principles of Security and Trust, POST 2013, Mar 2013, Rome, Italy. ⟨10.1007/978-3-642-36830-1_13⟩. ⟨hal-01338020⟩

Jannik Dreier, Hugo Jonker, Pascal Lafourcade. Verifiability in e-Auction Protocols. 1st Workshop on Hot Issues in Security Principles and Trust (HotSpot'13), Mar 2013, Rome, Italy. ⟨hal-01338057⟩

Jannik Dreier, Cristian Ene, Pascal Lafourcade, yassine Lakhnech. On Unique Decomposition of Processes in the Applied π-Calculus. 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⟩. ⟨hal-01338002⟩

Jannik Dreier, Pascal Lafourcade, yassine Lakhnech. A Formal Taxonomy of Privacy in Voting Protocols. First IEEE International Workshop on Security and Forensics in Communication Systems (ICC'12 WS - SFCS), Jun 2012, Ottawa, Canada. ⟨10.1109/ICC.2012.6364938⟩. ⟨hal-01338064⟩

Jannik Dreier, Pascal Lafourcade, yassine Lakhnech. Defining Privacy for Weighted Votes, Single and Multi-voter Coercion. European Symposium on Research in Computer Security (ESORICS), Sep 2012, Pise, Italy. ⟨10.1007/978-3-642-33167-1_26⟩. ⟨hal-01338037⟩

Jannik Dreier, Pascal Lafourcade, yassine Lakhnech. Vote-Independence: A Powerful Privacy Notion for Voting Protocols. 4th Canada-France MITACS Workshop on Foundations & Practice of Security (FPS'11), May 2011, Paris, France. ⟨10.1007/978-3-642-27901-0_13⟩. ⟨hal-01338070⟩

Jannik Dreier, Florian Kerschbaum. Practical Privacy-Preserving Multiparty Linear Programming Based on Problem Transformation. 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⟩. ⟨hal-01338043⟩

Véronique Cortier, Jannik Dreier, Pierrick Gaudry, Mathieu Turuani. A simple alternative to Benaloh challenge for the cast-as-intended property in Helios/Belenios. 2019. ⟨hal-02346420⟩

Elliott Blot, Jannik Dreier, Pascal Lafourcade. Formal Analysis of Combinations of Secure Protocols . 2017. ⟨hal-01558552v5⟩

Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse. Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR (Extended Version). [Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy; ETH Zurich, Switzerland; University of Dundee. 2018. ⟨hal-01780544⟩

Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini. On the Verifiability of (Electronic) Exams. [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2015. ⟨hal-01337411⟩

Jannik Dreier, Hugo Jonker, Pascal Lafourcade. Secure Auctions Without Cryptography (extended version). [Technical Report] ETH Zurich. 2014. ⟨hal-01337415⟩

Jannik Dreier, Pascal Lafourcade, yassine Lakhnech. Formal Verification of e-Auction Protocols. [Technical Report] TR-2012-17, VERIMAG. 2012. ⟨hal-01338031⟩

Jannik Dreier, Cristian Ene, Pascal Lafourcade, yassine Lakhnech. On Unique Decomposition of Processes in the Applied π-Calculus. [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2012. ⟨hal-01338012⟩

Jannik Dreier, Pascal Lafourcade, yassine Lakhnech. Defining Privacy for Weighted Votes, Single and Multi-voter Coercion. [Research Report] VERIMAG. 2012. ⟨hal-01338039⟩

Jannik Dreier, Pascal Lafourcade, yassine Lakhnech. A formal taxonomy of privacy in voting protocols. [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2011. ⟨hal-01338067⟩

Jannik Dreier, Florian Kerschbaum. Practical Secure and Efficient Multiparty Linear Programming Based on Problem Transformation. [Technical Report] IACR Cryptology ePrint Archive. 2011. ⟨hal-01338046⟩

Jannik Dreier, Pascal Lafourcade, yassine Lakhnech. Vote-Independence: A Powerful Privacy Notion for Voting Protocols. [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2011. ⟨hal-01338071⟩