Recherche - ANR - Agence nationale de la recherche

Filtrer vos résultats

5 résultats
Image document

LibAFL QEMU: A Library for Fuzzing-oriented Emulation

Romain Malmain , Andrea Fioraldi , Aurélien Francillon
BAR 2024, Workshop on Binary Analysis Research, colocated with NDSS 2024, Mar 2024, San Diego (CA), United States
Communication dans un congrès hal-04500872v1
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

Inference of Robust Reachability Constraints

Yanis Sellami , Guillaume Girol , Frédéric Recoules , Damien Couroussé , Sébastien Bardin
2024 ACM Symposium on Principles of Programming Languages, Jan 2024, London, United Kingdom. pp.2731-2760, ⟨10.1145/3632933⟩
Communication dans un congrès hal-04477919v1
Image document

BlueScream: Screaming Channels on Bluetooth Low Energy

Pierre Ayoub , Romain Cayre , Aurélien Francillon , Clémentine Maurice
40th Annual Computer Security Applications Conference (ACSAC '24), Dec 2024, Waikiki, Honolulu, Hawaii, United States
Communication dans un congrès hal-04725668v2
Image document

PhaseSCA: Exploiting Phase-Modulated Emanations in Side Channels

Pierre Ayoub , Aurélien Hernandez , Romain Cayre , Aurélien Francillon , Clémentine Maurice
IACR Transactions on Cryptographic Hardware and Embedded Systems, In press
Article dans une revue hal-04726109v1