Recherche - Université de Lorraine

Filtrer vos résultats

39 résultats
Page :
triés par
Image document

Belenios with cast-as-intended: towards a usable interface

 Véronique Cortier , Pierrick Gaudry , Anselme Goetschmann , Sophie Lemonnier
EVote-ID 2024 - 9th International Joint Conference on Electronic Voting, Oct 2024, Terragona, Spain
Communication dans un congrès hal-04646244v1
Image document

Formally verifying Kyber: Episode V: Machine-checked IND-CCA security and correctness of ML-KEM in EasyCrypt

 José Bacelar Almeida , Santiago Arranz Olmos , Manuel Barbosa , Gilles Barthe , François Dupressoir , et al.
Crypto 2024, International Association for Cryptologic Research, Aug 2024, Santa Barbara (CA), United States. ⟨10.1007/978-3-031-68379-4_12⟩
Communication dans un congrès hal-04595591v2
Image document

Proving Unlinkability using ProVerif through Desynchronized Bi-Processes

 David Baelde , Alexandre Debant , Stéphanie Delaune
IEEE Computer Security Foundations Symposium, Jul 2023, Dubrovnik, Croatia
Communication dans un congrès hal-03674979v2
Image document

Belenios: the Certification Campaign

 Angèle Bossuat , Eloïse Brocas , Véronique Cortier , Pierrick Gaudry , Stéphane Glondu , et al.
SSTIC 2024 - Symposium sur la sécurité des technologies de l'information et des communications, Jun 2024, Rennes, France
Communication dans un congrès hal-04578848v1
Image document

Shaken, not Stirred -Automated Discovery of Subtle Attacks on Protocols using Mix-Nets

 Jannik Dreier , Pascal Lafourcade , Dhekra Mahmoud
Usenix Security Symposium, Aug 2024, Philadelphia, United States
Communication dans un congrès hal-04615474v1
Image document

Scalable program clone search through spectral analysis

 Tristan Benoit , Jean-Yves Marion , Sébastien Bardin
ESEC/FSE '23 - 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Dec 2023, San Francisco, United States. ⟨10.48550/arXiv.2210.13063⟩
Communication dans un congrès hal-03826726v4
Image document

Machine-Checked Proofs of Accountability: How to sElect who is to Blame

 Constantin Catalin Dragan , François Dupressoir , Kristian Gjøsteen , Thomas Haines , Peter Rønne , et al.
ESORICS 2023, Sep 2023, The Hague, The Netherlands, Netherlands. ⟨10.1007/978-3-031-51479-1_24⟩
Communication dans un congrès hal-04216243v1
Image document

Belenios with cast as intended

 Véronique Cortier , Alexandre Debant , Pierrick Gaudry , Stéphane Glondu
Voting 2023 - 8th Workshop on Advances in Secure Electronic Voting, May 2023, Bol, Brač, Croatia
Communication dans un congrès hal-04020110v1
Image document

French 2022 legislatives elections: a verifiability experiment

 Véronique Cortier , Pierrick Gaudry , Stéphane Glondu , Sylvain Ruhault
The E-Vote-ID Conference 2023, Oct 2023, Luxembourg City, Luxembourg
Communication dans un congrès hal-04205615v1
Image document

A comprehensive, formal and automated analysis of the EDHOC protocol

 Charlie Jacomme , Elise Klein , Steve Kremer , Maïwenn Racouchot
USENIX Security '23 - 32nd USENIX Security Symposium, Aug 2023, Anaheim, CA, United States
Communication dans un congrès hal-03810102v1
Image document

High-assurance zeroization

 Santiago Arranz Olmos , Gilles Barthe , Ruben Gonzalez , Benjamin Grégoire , Vincent Laporte , et al.
IACR Transactions on Cryptographic Hardware and Embedded Systems, 2023, 2024 (1), pp.375-397. ⟨10.46586/tches.v2024.i1.375-397⟩
Article dans une revue hal-04691165v1
Image document

Verifiable Decryption in the Head

 Kristian Gjøsteen , Thomas Haines , Johannes Müller , Peter Rønne , Tjerand Silde
Australasian Conference on Information Security and Privacy, Nov 2022, Wollongong, Australia. pp.355-374, ⟨10.1007/978-3-031-22301-3_18⟩
Communication dans un congrès hal-03913553v2
Image document

Deep Reinforcement Learning for Automated Cyber-Attack Path Prediction in Communication Networks

 Franco Terranova , Abdelkader Lahmadi , Isabelle Chrisment
Geilo Winter School 2024 - Graphs and Applications, Jan 2024, Geilo, Norway
Poster de conférence hal-04462876v1
Image document

Reversing, Breaking, and Fixing the French Legislative Election E-Voting Protocol

 Alexandre Debant , Lucca Hirschi
2023
Pré-publication, Document de travail hal-03875463v3
Image document

Time, Privacy, Robustness, Accuracy: Trade-Offs for the Open Vote Network Protocol

 Fatima-Ezzahra El Orche , Rémi Géraud-Stewart , Peter Rønne , Gergei Bana , David Naccache , et al.
International Joint Conference on Electronic Voting 2022, Oct 2022, Bregenz, Austria. pp.19-35, ⟨10.1007/978-3-031-15911-4_2⟩
Communication dans un congrès hal-03913581v2
Image document

A Note on Related-Tweakey Impossible Differential Attacks

 Xavier Bonnetain , Virginie Lallemand
IACR Communications in Cryptology, 2024, 1 (3), ⟨10.62056/abbn-4c2h⟩
Article dans une revue hal-04748002v1
Image document

Post-quantum sound CryptoVerif and verification of hybrid TLS and SSH key-exchanges

 Bruno Blanchet , Charlie Jacomme
CSF'24 - 37th IEEE Computer Security Foundations Symposium, IEEE, Jul 2024, Enschede, Netherlands. pp.543-556, ⟨10.1109/CSF61375.2024.00032⟩
Communication dans un congrès hal-04577912v1
Image document

Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses

 Vincent Cheval , Cas Cremers , Alexander Dax , Lucca Hirschi , Charlie Jacomme , et al.
32nd USENIX Security Symposium, Aug 2023, Anaheim, United States
Communication dans un congrès hal-03795715v1
Image document

Election Verifiability with ProVerif

 Vincent Cheval , Véronique Cortier , Alexandre Debant
CSF 2023 - 36th IEEE Computer Security Foundations Symposium, Jul 2023, Dubrovnik, Croatia. ⟨10.1109/CSF57540.2023.00032⟩
Communication dans un congrès hal-04177268v2
Image document

Formally verifying Kyber: Episode IV: Implementation correctness

 José Bacelar Almeida , Manuel Barbosa , Gilles Barthe , Benjamin Grégoire , Vincent Laporte , et al.
CHES 2023 - Conference on Cryptographic Hardware and Embedded Systems, IACR, Sep 2023, Praha, Czech Republic. pp.164-193, ⟨10.46586/tches.v2023.i3.164-193⟩
Communication dans un congrès hal-04218417v1
Image document

Is the JCJ voting system really coercion-resistant?

 Véronique Cortier , Pierrick Gaudry , Quentin Yang
37th IEEE Computer Security Foundations Symposium (CSF), 2024, Enschede, Netherlands
Communication dans un congrès hal-03629587v3
Image document

Formal verification of the PQXDH Post-Quantum key agreement protocol for end-to-end secure messaging

 Karthikeyan Bhargavan , Charlie Jacomme , Franziskus Kiefer , Rolfe Schmidt
33rd USENIX Security Symposium, Aug 2024, Philadelphia (PA), United States
Communication dans un congrès hal-04604518v2
Image document

The Squirrel Prover and its Logic

 David Baelde , Stéphanie Delaune , Charlie Jacomme , Adrien Koutsos , Joseph Lallemand
ACM SIGLOG News, 2024, 11 (2), ⟨10.1145/3665453.3665461⟩
Article dans une revue hal-04579038v1
Image document

The First VoicePrivacy Attacker Challenge Evaluation Plan

 Natalia Tomashenko , Xiaoxiao Miao , Emmanuel Vincent , Junichi Yamagishi
2024
Pré-publication, Document de travail hal-04730990v1
Image document

On the Auditability of the Estonian IVXV System and an Attack on Individual Verifiability

 Anggrio Sutopo , Thomas Haines , Peter Rønne
Workshop on Advances in Secure Electronic Voting, May 2023, Bol, brac, Croatia. ⟨10.1007/978-3-031-48806-1_2⟩
Communication dans un congrès hal-04216242v1
Image document

SoK: Mechanisms Used in Practice for Verifiable Internet Voting

 Florian Moser , Michael Kirsten , Felix Dörre
E-Vote-ID 2024 - 9th International Joint Conference on Electronic Voting, Oct 2024, Tarragona, Spain
Communication dans un congrès hal-04686386v1
Image document

Election Eligibility with OpenID: Turning Authentication into Transferable Proof of Eligibility

 Véronique Cortier , Alexandre Debant , Anselme Goetschmann , Lucca Hirschi
USENIX Security Symposium, Aug 2024, Philadelphie (USA), United States
Communication dans un congrès hal-04764478v1
Image document

Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co

 Constantin Catalin Dragan , Francois Dupressoir , Ehsan Estaji , Kristian Gjøsteen , Thomas Haines , et al.
2022 IEEE 35th Computer Security Foundations Symposium (CSF), Aug 2022, Haifa, Israel. ⟨10.1109/CSF54842.2022.9919663⟩
Communication dans un congrès hal-03913573v2
Image document

Leveraging Deep Reinforcement Learning for Cyber-Attack Paths Prediction: Formulation, Generalization, and Evaluation

 Franco Terranova , Abdelkader Lahmadi , Isabelle Chrisment
The 27th International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2024), Sep 2024, Padua, Italy. ⟨10.1145/3678890.3678902⟩
Communication dans un congrès hal-04662428v1
Image document

Code voting: when simplicity meets security

 Véronique Cortier , Alexandre Debant , Florian Moser
ESORICS 2024 29th European Symposium on Research in Computer Security, Sep 2024, Bydgoszcz, Poland
Communication dans un congrès hal-04627733v1
Page :