Recherche - CNRS - Centre national de la recherche scientifique Accéder directement au contenu

Filtrer vos résultats

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

Reachability Analysis of Self Modifying Code

Tayssir Touili , Xin Ye
International Journal of Foundations of Computer Science, 2023, 34 (05), pp.507-536. ⟨10.1142/S0129054122500290⟩
Article dans une revue hal-04295949v1
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

A Higher-Order Indistinguishability Logic for Cryptographic Reasoning

David Baelde , Adrien Koutsos , Joseph Lallemand
LICS, Jun 2023, Boston, United States. pp.1-13, ⟨10.1109/LICS56636.2023.10175781⟩
Communication dans un congrès hal-03981949v2
Image document

Bandwidth-efficient threshold EC-DSA revisited: Online/Offline Extensions, Identifiable Aborts Proactive and Adaptive Security

Guilhem Castagnos , Dario Catalano , Fabien Laguillaumie , Federico Savasta , Ida Tucker
Theoretical Computer Science, 2023, 939, pp.78-104. ⟨10.1016/j.tcs.2022.10.016⟩
Article dans une revue hal-03927198v1
Image document

Evaluating the Reusability of Android Static Analysis Tools

Jean-Marie Mineau , Jean-François Lalande
ICSR 2024 - 21st International Conference on Software and Systems Reuse, Jun 2024, Limassol, Cyprus
Communication dans un congrès hal-04557993v1
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

The Devil is in the Details: Detection, Measurement and Lawfulness of Server-Side Tracking on the Web

Imane Fouad , Cristiana Santos , Pierre Laperdrix
24th Privacy Enhancing Technologies Symposium (PETS 2024), Jul 2024, Bristol, United Kingdom
Communication dans un congrès hal-04617727v1

Differentially Private Decentralized Learning with Random Walks

Edwige Cyffers , Aurélien Bellet , Jalaj Upadhyay
ICML 2024 - Forty-first International Conference on Machine Learning, Jul 2024, Vienne (Autriche), Austria. ⟨10.48550/arXiv.2402.07471⟩
Communication dans un congrès hal-04610660v1
Image document

Fast Secure Computations on Shared Polynomials and Applications to Private Set Operations

Pascal Giorgi , Fabien Laguillaumie , Lucas Ottow , Damien Vergnaud
ITC 2024 - 5th Information-Theoretic Cryptography Conference, Aug 2024, Stanford, CA, United States
Communication dans un congrès lirmm-04593144v1
Image document

A Robust Approach for the Detection and Prevention of Conflicts in I2NSF Security Policies

Do Duc Anh Nguyen , Fabien Autrel , Ahmed Bouabdallah , Guillaume Doyen
NOMS 2023: IEEE/IFIP Network Operations and Management Symposium, May 2023, Miami, United States. pp.1-7, ⟨10.1109/NOMS56928.2023.10154304⟩
Communication dans un congrès hal-04223371v1
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

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

Choose your Path: Control of Ring Oscillators EMFI Susceptibility through FPGA P&R Constraints

Sami El Amraoui , Régis Leveugle , Paolo Maistri
International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2024), Apr 2024, Kielce, Poland
Communication dans un congrès hal-04513560v1
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

Formally verifying Kyber

José Bacelar Almeida , Santiago Arranz Olmos , Manuel Barbosa , Gilles Barthe , François Dupressoir , et al.
2024
Pré-publication, Document de travail hal-04595591v1
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

Active disjunctive constraint acquisition

Grégoire Menguy , Sébastien Bardin , Arnaud Gotlieb , Nadjib Lazaar
KR 2023 - 20th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2023, Rhodes, Greece. pp.512-520, ⟨10.24963/kr.2023/50⟩
Communication dans un congrès cea-04258912v1
Image document

A Probabilistic Logic for Concrete Security

David Baelde , Caroline Fontaine , Adrien Koutsos , Guillaume Scerri , Théo Vignon
CSF 2024 - 37th IEEE Computer Security Foundations Symposium, Jul 2024, Enschede, Netherlands
Communication dans un congrès hal-04577828v1
Image document

Oblivious Transfer with Constant Computational Overhead

Elette Boyle , Geoffroy Couteau , Niv Gilboa , Yuval Ishai , Lisa Kohl , et al.
42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques (EUROCRYPT 2023), Apr 2023, Lyon, France. pp.271-302, ⟨10.1007/978-3-031-30545-0_10⟩
Communication dans un congrès hal-04265616v1

DSL for modeling IEC 62443 compliant ICS instances, in a zone/conduit model.

Jolahn Vaudey , Eric Rutten , Stéphane Mocanu , Gwenaël Delaval
Logiciel hal-04573409v1
Image document

Non-Interactive Secure Computation of Inner-Product from LPN and LWE

Geoffroy Couteau , Maryam Zarezadeh
Advances in Cryptology - ASIACRYPT 2022, Dec 2022, Taipei, Taiwan
Communication dans un congrès hal-03860759v1
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

[~Re]Simulating socioeconomic-based affirmative action

Tristan Allard , Louis Béziaud , Sébastien Gambs
The ReScience journal, 2023, 9 (1), pp.16. ⟨10.5281/zenodo.10255346⟩
Article dans une revue hal-04328511v1
Image document

(Local) Differential Privacy has NO Disparate Impact on Fairness

Héber Hwang Arcolezi , Karima Makhlouf , Catuscia Palamidessi
DBSec 2023 - 37th IFIP Annual Conference on Data and Applications Security and Privacy, Vijay Atluri; Anna Lisa Ferrara, Jul 2023, SOPHIA ANTIPOLIS, France. pp.3-21, ⟨10.1007/978-3-031-37586-6_1⟩
Communication dans un congrès hal-04175027v1
Image document

Sublinear Secure Computation from New Assumptions

Elette Boyle , Geoffroy Couteau , Pierre Meyer
TCC 2022 - Theory of Cryptography Conference, Nov 2022, Chicago, United States
Communication dans un congrès hal-03860742v1