Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

4 résultats
Image document

Exploration of system-on-chip secure-boot vulnerability to fault-injection by side-channel analysis

Clement Fanjas , Simon Pontie , Driss Aboulkassimi , Jessy Clediere
DFT 2023 : 36th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, Oct 2023, Juan-les-Pins, France. ⟨10.1109/DFT59622.2023.10313346⟩
Communication dans un congrès cea-04521287v1
Image document

LibAFL QEMU: A Library for Fuzzing-oriented Emulation

Romain Malmain , Andrea Fioraldi , Francillon Aurélien
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