Recherche - CEA - Commissariat à l’énergie atomique et aux énergies alternatives

Filtrer vos résultats

3 résultats
Page :
triés par
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

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

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