Recherche - Université de Lorraine Accéder directement au contenu

Filtrer vos résultats

21 résultats
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

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

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

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

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 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

Typing High-Speed Cryptography against Spectre v1

Basavesh Ammanaghatta Shivakumar , Gilles Barthe , Benjamin Grégoire , Vincent Laporte , Tiago Oliveira , et al.
SP 2023- IEEE Symposium on Security and Privacy, IEEE, May 2023, San Francisco, United States. pp.1592-1609, ⟨10.1109/SP46215.2023.10179418⟩
Communication dans un congrès hal-04106448v1
Image document

Themis: an On-Site Voting System with Systematic Cast-as-intended Verification and Partial Accountability

Mikaël Bougon , Hervé Chabanne , Véronique Cortier , Alexandre Debant , Emmanuelle Dottax , et al.
CCS 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-03763294v2
Image document

Symbolic protocol verification with dice: process equivalences in the presence of probabilities (extended version)

Vincent Cheval , Raphaëlle Crubillé , Steve Kremer
2023
Pré-publication, Document de travail hal-03683907v2
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

Formally verifying Kyber

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

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

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

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

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

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 hal-04462876v1
Image document

Symbolic protocol verification with dice

Vincent Cheval , Raphaëlle Crubillé , Steve Kremer
Journal of Computer Security, 2023, pp.1-38. ⟨10.3233/JCS-230037⟩
Article dans une revue hal-04179875v1
Image document

The Voice Privacy 2024 Challenge Evaluation Plan

Natalia Tomashenko , Xiaoxiao Miao , Pierre Champion , Sarina Meyer , Xin Wang , et al.
4th Symposium on Security and Privacy in Speech Communication 2024, Sep 2024, Kos Island, Greece
Document associé à des manifestations scientifiques hal-04531444v1
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