
Jannik Dreier
53
Documents
Publications
Publications
|
Shaken, not Stirred -Automated Discovery of Subtle Attacks on Protocols using Mix-NetsUsenix Security Symposium, Aug 2024, Philadelphia, United States
Communication dans un congrès
hal-04615474
v1
|
|
Themis: an On-Site Voting System with Systematic Cast-as-intended Verification and Partial AccountabilityCCS 2022 - The ACM Conference on Computer and Communications Security, Nov 2022, Los Angeles, United States. ⟨10.1145/3548606.3560563⟩
Communication dans un congrès
hal-03763294
v2
|
|
Verifying Table-Based ElectionsCCS 2021 - ACM SIGSAC Conference on Computer and Communications Security, Nov 2021, Virtual Event, South Korea. pp.2632-2652, ⟨10.1145/3460120.3484555⟩
Communication dans un congrès
hal-03455459
v1
|
|
Automatic generation of sources lemmas in Tamarin: towards automatic proofs of security protocolsESORICS 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⟩
Communication dans un congrès
hal-02903620
v1
|
|
A Formal Analysis of 5G AuthenticationACM CCS 2018 - 25th ACM Conference on Computer and Communications Security, Oct 2018, Toronto, Canada. ⟨10.1145/3243734.3243846⟩
Communication dans un congrès
hal-01898050
v1
|
|
A Cryptographer's Conspiracy SantaFUN 2018 - 9th International Conference on Fun with Algorithms, Jun 2018, La Maddalena, Italy. pp.13:1--13:13, ⟨10.4230/LIPIcs.FUN.2018.13⟩
Communication dans un congrès
hal-01777997
v2
|
|
Physical Zero-Knowledge Proof for MakaroSSS 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⟩
Communication dans un congrès
hal-01898048
v1
|
|
Security Analysis and Psychological Study of Authentication Methods with PIN CodesRCIS 2018 - IEEE 12th International Conference on Research Challenges in Information Science, May 2018, Nantes, France. pp.1--11, ⟨10.1109/RCIS.2018.8406648⟩
Communication dans un congrès
hal-01777898
v1
|
|
Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive ORCSF'2018 - 31st IEEE Computer Security Foundations Symposium, Jul 2018, Oxford, United Kingdom. ⟨10.1109/CSF.2018.00033⟩
Communication dans un congrès
hal-01780603
v1
|
|
Formal Analysis of Combinations of Secure ProtocolsFPS 2017 - 10th International Symposium on Foundations & Practice of Security, Oct 2017, Nancy, France. pp.53-67, ⟨10.1007/978-3-319-75650-9_4⟩
Communication dans un congrès
hal-01596010
v2
|
|
Formally Verifying Flow Properties in Industrial SystemsSECRYPT 2017 - 14th International Conference on Security and Cryptography, Jul 2017, Madrid, Spain. pp.55-66, ⟨10.5220/0006396500550066⟩
Communication dans un congrès
hal-01527913
v1
|
|
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⟩
Communication dans un congrès
hal-01430490
v2
|
|
A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and its Application to Fair Exchange2nd IEEE European Symposium on Security and Privacy (EuroS&P'17), Apr 2017, Paris, France. ⟨10.1109/EuroSP.2017.12⟩
Communication dans un congrès
hal-01396282
v1
|
|
Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen8th International Conference on Fun with Algorithms, Jun 2016, La Maddalena, Italy. pp.8:1-8:20, ⟨10.4230/LIPIcs.FUN.2016.8⟩
Communication dans un congrès
hal-01326059
v1
|
|
Automated Verification of E-Cash ProtocolsICETE 2015 - 12th International Joint Conference on e-Business and Telecommunications, Jul 2015, Colmar, France. ⟨10.1007/978-3-319-30222-5_11⟩
Communication dans un congrès
hal-01840596
v1
|
|
Formal Analysis of E-Cash Protocols12th International Conference on Security and Cryptography (SECRYPT 2015), Jul 2015, Colmar, France. ⟨10.5220/0005544500650075⟩
Communication dans un congrès
hal-01337410
v1
|
|
A Framework for Analyzing Verifiability in Traditional and Electronic ExamsInformation Security Practice and Experience Conference, May 2015, beijin, China. ⟨10.1007/978-3-319-17533-1_35⟩
Communication dans un congrès
hal-01218138
v1
|
|
Automated Symbolic Proofs of Observational Equivalence22nd ACM SIGSAC Conference on Computer and Communications Security (ACM CCS 2015), ACM, Oct 2015, Denver, United States. pp.1144--1155, ⟨10.1145/2810103.2813662⟩
Communication dans un congrès
hal-01337409
v2
|
|
Secure Auctions without Cryptography7th International Conference on Fun with Algorithms - FUN 2014, Jul 2014, Lipari, Italy. pp.158-170, ⟨10.1007/978-3-319-07890-8_14⟩
Communication dans un congrès
hal-01337414
v1
|
Formal Analysis of Electronic ExamsFirst Symposium on Digital Trust in Auvergne (SDTA'14), Dec 2014, Clermont-Ferrand, France
Communication dans un congrès
hal-01338054
v1
|
|
|
Formal Analysis of Electronic Exams11th International Conference on Security and Cryptography (SECRYPT 2014), Aug 2014, Vienne, Austria. ⟨10.5220/0005050901010112⟩
Communication dans un congrès
hal-01337413
v1
|
|
Defining Verifiability in e-Auction ProtocolsAsia Conference on Information, Computer and Communications Security, ACM, May 2013, Hangzhou, China. ⟨10.1145/2484313.2484387⟩
Communication dans un congrès
hal-01337416
v1
|
|
Formal Verification of e-Auction ProtocolsInternational Conference on Principles of Security and Trust, Mar 2013, Rome, Italy. ⟨10.1007/978-3-642-36830-1_13⟩
Communication dans un congrès
hal-01338020
v1
|
|
Verifiability in e-Auction Protocols1st Workshop on Hot Issues in Security Principles and Trust (HotSpot'13), Mar 2013, Rome, Italy
Communication dans un congrès
hal-01338057
v1
|
|
Brandt's Fully Private Auction Protocol RevisitedAfricacrypt 2013, Jun 2013, Le Caire, Egypt. pp.88-106, ⟨10.1007/978-3-642-38553-7_5⟩
Communication dans un congrès
hal-00745247
v3
|
|
On Unique Decomposition of Processes in the Applied π-Calculus16th 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⟩
Communication dans un congrès
hal-01338002
v1
|
|
A Formal Taxonomy of Privacy in Voting ProtocolsFirst IEEE International Workshop on Security and Forensics in Communication Systems (ICC'12 WS - SFCS), Jun 2012, Ottawa, Canada. ⟨10.1109/ICC.2012.6364938⟩
Communication dans un congrès
hal-01338064
v1
|
|
Vote-Independence: A Powerful Privacy Notion for Voting Protocols4th Canada-France MITACS Workshop on Foundations & Practice of Security (FPS'11), May 2011, Paris, France. ⟨10.1007/978-3-642-27901-0_13⟩
Communication dans un congrès
hal-01338070
v1
|
|
Defining Privacy for Weighted Votes, Single and Multi-voter CoercionEuropean Symposium on Research in Computer Security (ESORICS), Sep 2012, Pise, Italy. ⟨10.1007/978-3-642-33167-1_26⟩
Communication dans un congrès
hal-01338037
v1
|
|
Practical Privacy-Preserving Multiparty Linear Programming Based on Problem TransformationThird IEEE International Conference on Information Privacy, Security, Risk and Trust (PASSAT'11), IEEE, Oct 2011, Boston, United States. ⟨10.1109/PASSAT/SocialCom.2011.19⟩
Communication dans un congrès
hal-01338043
v1
|
|
A simple alternative to Benaloh challenge for the cast-as-intended property in Helios/Belenios2019
Pré-publication, Document de travail
hal-02346420
v1
|
|
Formal Analysis of Combinations of Secure Protocols2017
Pré-publication, Document de travail
hal-01558552
v5
|
|
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
Rapport
(rapport de recherche)
hal-01780544
v1
|
|
On the Verifiability of (Electronic) Exams[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2015
Rapport
(rapport technique)
hal-01337411
v1
|
|
Secure Auctions Without Cryptography (extended version)[Technical Report] ETH Zurich. 2014
Rapport
(rapport technique)
hal-01337415
v1
|
|
Defining Privacy for Weighted Votes, Single and Multi-voter Coercion[Research Report] VERIMAG. 2012
Rapport
(rapport de recherche)
hal-01338039
v1
|
|
Formal Verification of e-Auction Protocols[Technical Report] TR-2012-17, VERIMAG. 2012
Rapport
(rapport technique)
hal-01338031
v1
|
|
On Unique Decomposition of Processes in the Applied π-Calculus[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2012
Rapport
(rapport technique)
hal-01338012
v1
|
|
A formal taxonomy of privacy in voting protocols[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2011
Rapport
(rapport technique)
hal-01338067
v1
|
|
Vote-Independence: A Powerful Privacy Notion for Voting Protocols[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2011
Rapport
(rapport technique)
hal-01338071
v1
|
|
Practical Secure and Efficient Multiparty Linear Programming Based on Problem Transformation[Technical Report] IACR Cryptology ePrint Archive. 2011
Rapport
(rapport technique)
hal-01338046
v1
|
Chargement...
Chargement...