Publications

Publications HAL

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
https://hal.science/hal-03497369/file/main.pdf 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
https://hal.science/hal-03767104/file/Tamarin-JCS2022.pdf 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
https://hal.science/hal-03586826/file/technical-report.pdf 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
https://inria.hal.science/hal-03763294/file/main%20%282%29.pdf 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
https://hal.science/hal-03455459/file/main.pdf 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
https://hal.science/hal-02611751/file/main.pdf 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
https://hal.science/hal-02358878/file/paper.pdf 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
https://hal.science/hal-02903620/file/main.pdf 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
https://hal.science/hal-02268822/file/article.pdf 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
https://inria.hal.science/hal-02346420/file/oilben.pdf 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 and Security, 2018, 86, pp.453-470. ⟨10.1016/j.cose.2018.09.018⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01959766/file/cose18.pdf 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
https://hal.science/hal-01898048/file/main.pdf 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
https://hal.science/hal-01898050/file/CCS18_finalcrc2_Fixed-Typo.pdf 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
https://hal.science/hal-01780603/file/paper-final.pdf 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
https://hal.science/hal-01777997/file/main.pdf 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
https://hal.science/hal-01777898/file/main.pdf 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
https://hal.science/hal-01780544/file/technical-report.pdf 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
https://hal.science/hal-01622110/file/tamarin-tool.pdf 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
https://hal.science/hal-01397035/file/main_fun.pdf 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
https://hal.science/hal-01596010/file/article.pdf 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
https://hal.univ-grenoble-alpes.fr/hal-01527913/file/secrypt17.pdf 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
https://inria.hal.science/hal-01396282/file/fairexchange-long.pdf 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
https://inria.hal.science/hal-01430490/file/techreport.pdf 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
https://hal.science/hal-01558552/file/article.pdf 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
https://hal.science/hal-01238097/file/main.pdf 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
https://hal.science/hal-01326059/file/zkpfungame.pdf 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
https://inria.hal.science/hal-01233555/file/main.pdf 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
https://hal.science/hal-01337412/file/icete2014.pdf 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
https://hal.science/hal-01337409/file/main.pdf 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
https://hal.science/hal-01840596/file/main.pdf 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
https://hal.science/hal-01337410/file/secrypt2015.pdf 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
https://hal.science/hal-01218138/file/ispec2015.pdf 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
https://hal.science/hal-01337411/file/TR-2014-2.pdf 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
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
https://hal.science/hal-01337413/file/secrypt2014.pdf 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
https://hal.science/hal-01337414/file/fun2014.pdf 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
https://hal.science/hal-01337415/file/eth-8490-01.pdf 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
https://hal.science/hal-00745247/file/brandtrev.pdf 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
https://hal.science/hal-01337416/file/asiaccs2013.pdf 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
https://hal.science/hal-01338057/file/main.pdf 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
https://hal.science/hal-01338020/file/post2013.pdf 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
https://inria.hal.science/hal-01338002/file/fossacs2013.pdf 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
https://hal.science/hal-01338037/file/esorics2012.pdf 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
https://hal.science/hal-01338064/file/sfcs2012.pdf 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
https://hal.science/hal-01338039/file/TR-2012-2.pdf 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
https://hal.science/hal-01338031/file/TR-2012-17.pdf 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
https://hal.science/hal-01338012/file/TR-2012-3.pdf 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
https://hal.science/hal-01338043/file/passat2011.pdf 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
https://hal.science/hal-01338070/file/fps2011.pdf 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
https://hal.science/hal-01338046/file/108.pdf 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
https://hal.science/hal-01338067/file/TR-2011-10.pdf 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
https://hal.science/hal-01338071/file/TR-2011-8.pdf BibTex