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

Filtrer vos résultats

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

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

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

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

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

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

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

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

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

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

Evaluating the Reusability of Android Static Analysis Tools

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

A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries

Antoine Geimer , Mathéo Vergnolle , Frédéric Recoules , Lesly-Ann Daniel , Sébastien Bardin , et al.
CCS 2023 - ACM SIGSAC Conference on Computer and Communications Security, Nov 2023, Copenhagen, Denmark. pp.1690-1704, ⟨10.1145/3576915.3623112⟩
Communication dans un congrès hal-04474774v1
Image document

Random Sources in Private Computation

Geoffroy Couteau , Adi Rosén
Advances in Cryptology - ASIACRYPT 2022, Dec 2022, Taipei, Taiwan
Communication dans un congrès hal-03869622v1
Image document

Anonymous Whistleblowing over Authenticated Channels

Thomas Agrikola , Geoffroy Couteau , Sven Maier
TCC 2022 - Theory of Cryptography Conference, Nov 2022, Chicago, United States
Communication dans un congrès hal-03860748v1
Image document

Cryptographic Reductions By Bi-Deduction

David Baelde , Adrien Koutsos , Justine Sauvage
2024
Pré-publication, Document de travail hal-04511718v2
Image document

Adversarial reachability for program-level security analysis

Sébastien Bardin , Soline Ducousso , Marie-Laure Potet
ESOP 2023 - 32nd European Symposium on Programming,, ETAPS, Apr 2023, Paris, France. pp.58-89, ⟨10.1007/978-3-031-30044-8_3⟩
Communication dans un congrès cea-04199882v1
Image document

X-Ray-TLS: transparent decryption of TLS sessions by extracting session keys from memory

Florent Moriconi , Olivier Levillain , Aurelien Francillon , Raphael Troncy
The 19th ACM ASIA Conference on Computer and Communications Security (ACM ASIACCS), ACM, Jul 2024, Singapore, Singapore. ⟨10.1145/nnnnnnn.nnnnnnn⟩
Communication dans un congrès hal-04446027v1
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

Covert Communications in Heterogeneous SoCs

Carlos Andres Lara-Nino , Lilian Bossuet
École d'hiver Francophone sur les Technologies de Conception des Systèmes Embarqués Hétérogènes (FETCH), Université Libre de Bruxelles, Feb 2024, Maillen, Belgium
Communication dans un congrès hal-04467933v1

Is information leakage spilling?

Lilian Bossuet , Vincent Grosso , Carlos Andres Lara-Nino
Cryptographic architectures embedded in logic devices, Jun 2023, Castro Urdiales, Spain
Communication dans un congrès ujm-04220174v1
Image document

High-Dimensional Private Empirical Risk Minimization by Greedy Coordinate Descent

Paul Mangold , Aurélien Bellet , Joseph Salmon , Marc Tommasi
AISTATS 2023 - International Conference on Artificial Intelligence and Statistics, Apr 2023, Valencia, Spain
Communication dans un congrès hal-03714465v3
Image document

Improved Private Set Intersection for Sets with Small Entries

Dung Bui , Geoffroy Couteau
26th IACR International Conference on Practice and Theory of Public-Key Cryptography,, May 2023, Atlanta (GA), United States. pp.190-220, ⟨10.1007/978-3-031-31371-4_7⟩
Communication dans un congrès hal-04265603v1
Image document

Reflections on Trusting Docker: Invisible Malware in Continuous Integration Systems

Florent Moriconi , Axel Ilmari Neergaard , Lucas Georget , Samuel Aubertin , Aurélien Francillon
17th IEEE Workshop on Offensive Technologies (WOOT 2023), IEEE, May 2023, San Francisco (CA, USA), United States. ⟨10.1109/SPW59333.2023.00025⟩
Communication dans un congrès hal-04087018v1