Recherche - Université de Lorraine

Filtrer vos résultats

40 résultats
Page :
triés par
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

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

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

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

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

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

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

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

Rançongiciel, une plongée dans le monde de la cybercriminalité

 Jean-Yves Marion
Rançongiciel, une plongée dans le monde de la cybercriminalité, 2023
Autre publication scientifique hal-04547822v1
Image document

Vulnet: Learning Navigation in an Attack Graph

 Enzo d'Andréa , Jérôme François , Abdelkader Lahmadi , Olivier Festor
2024 IEEE 10th International Conference on Network Softwarization (NetSoft), Jun 2024, Saint Louis, MO, United States. pp.393-398, ⟨10.1109/NetSoft60951.2024.10588918⟩
Communication dans un congrès hal-04782284v1
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

Preservation of Speculative Constant-time by Compilation

 Santiago Arranz Olmos , Gilles Barthe , Lionel Blatter , Benjamin Grégoire , Vincent Laporte
2024
Pré-publication, Document de travail hal-04663857v1
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

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

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

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

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

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

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

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