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
Conference papers
hal-04205615v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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, Netherlands
Conference papers
hal-04216243v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Reversing, Breaking, and Fixing the French Legislative Election E-Voting Protocol
Alexandre Debant
,
Lucca Hirschi
2023
Preprints, Working Papers, ...
hal-03875463v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Degree Spectra of Homeomorphism Types of Compact Polish Spaces
Mathieu Hoyrup
,
Takayuki Kihara
,
Victor Selivanov
2023
Preprints, Working Papers, ...
hal-02555111v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Formally verifying Kyber
José Bacelar Almeida
,
Manuel Barbosa
,
Gilles Barthe
,
Benjamin Grégoire
,
Vincent Laporte
,
et al.
Conference papers
hal-04218417v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Notes on overt choice
Mathieu Hoyrup
2023
Preprints, Working Papers, ...
hal-04164138v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
From System Events to Software Operations for Refinement-based Modeling of Hybrid Systems *
Zheng Cheng
,
Dominique Méry
2023
Preprints, Working Papers, ...
hal-04189025v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Scalable program clone search through spectral analysis
Tristan Benoit
,
Jean-Yves Marion
,
Sébastien Bardin
2023
Preprints, Working Papers, ...
hal-03826726v4
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Quantum Circuit Completeness: Extensions and Simplifications
Alexandre Clément
,
Noé Delorme
,
Simon Perdrix
,
Renaud Vilmart
2023
Preprints, Working Papers, ...
hal-04016498v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Conference papers
hal-03810102v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Conference papers
hal-03795715v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Proof Pearl: Faithful Computation and Extraction of µ-Recursive Algorithms in Coq
Dominique Larchey-Wendling
,
Jean-François Monin
14th International Conference on Interactive Theorem Proving (ITP 2023) , Adam Naumowicz; René Thiemann, Jul 2023, Białystok, Poland.
⟨10.4230/LIPIcs.ITP.2023.21⟩
Conference papers
hal-04200527v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Testing equality of parametric semi-linear sets
Engel Lefaucheux
2023
Preprints, Working Papers, ...
hal-04172593v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Election Verifiability with ProVerif
Vincent Cheval
,
Véronique Cortier
,
Alexandre Debant
CSF 2023 - 36th IEEE Computer Security Foundations Symposium , Jul 2023, Dubrovnik, Croatia
Conference papers
hal-04177268v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Proving Unlinkability using ProVerif through Desynchronized Bi-Processes
David Baelde
,
Alexandre Debant
,
Stéphanie Delaune
IEEE Computer Security Foundations Symposium , Jul 2023, Dubrovnik, Croatia
Conference papers
hal-03674979v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Strong computable type
Djamel Eddine Amir
,
Mathieu Hoyrup
2023
Preprints, Working Papers, ...
hal-03806572v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Static Checker for Reference Tracking Systems via Laplace Transform and Transfer Functions
Zheng Cheng
,
Dominique Méry
2023
Preprints, Working Papers, ...
hal-04152829v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Expiring opacity problems in parametric timed automata
Engel Lefaucheux
,
Étienne André
,
Dylan Marinho
2023
Preprints, Working Papers, ...
hal-04151207v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent Theories
Saraid Dwyer Satterfield
,
Serdar Erbatur
,
Andrew M. Marshall
,
Christophe Ringeissen
8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023) , Jul 2023, Rome, Italy. pp.30:1--30:19,
⟨10.4230/LIPIcs.FSCD.2023.30⟩
Conference papers
hal-04214220v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Inferring RPO Symbol Ordering
Wei Du
,
Paliath Narendran
,
Michael Rusinowitch
UNIF 2023 - 37th International Workshop on Unification , Veena Ravishankar; Christophe Ringeissen, Jul 2023, Rome, Italy
Conference papers
hal-04128213v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Symbolic protocol verification with dice
Vincent Cheval
,
Raphaëlle Crubillé
,
Steve Kremer
Journal articles
hal-04179875v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Towards an Automatic Proof of the Bakery Algorithm
Aman Goel
,
Stephan Merz
,
Karem A. Sakallah
Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2023. , Jun 2023, Lisbon, Portugal. pp.21-28,
⟨10.1007/978-3-031-35355-0_2⟩
Conference papers
hal-04135287v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Symbolic protocol verification with dice: process equivalences in the presence of probabilities (extended version)
Vincent Cheval
,
Raphaëlle Crubillé
,
Steve Kremer
2023
Preprints, Working Papers, ...
hal-03683907v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Robustesse des systèmes complexes : étude du rôle de l’aléa dans la dynamique des automates cellulaires
Nazim A. Fatès
Automates cellulaires et gaz sur réseau [nlin.CG]. Université de Lorraine, 2023
Habilitation à diriger des recherches
tel-04165486v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Typing High-Speed Cryptography against Spectre v1
Basavesh Ammanaghatta Shivakumar
,
Gilles Barthe
,
Benjamin Grégoire
,
Vincent Laporte
,
Tiago Oliveira
,
et al.
Conference papers
hal-04106448v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Is the JCJ voting system really coercion-resistant?
Véronique Cortier
,
Pierrick Gaudry
,
Quentin Yang
2023
Preprints, Working Papers, ...
hal-03629587v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Graphical Languages for Quantum Control and Linear Optics
Alexandre Clément
Theses
tel-04213655v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A decentralised diagnosis method with probabilistic cellular automata
Nazim A. Fatès
,
Régine Marchand
,
Irène Marcovici
2023
Preprints, Working Papers, ...
hal-04094230v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Conference papers
hal-04216242v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Conference papers
hal-04020110v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More