Publications HAL de la collection ARSENE

2025

Journal articles

titre
On the Harmonic Locking of Ring Oscillators under Single ElectroMagnetic Pulsed Fault Injection in FPGAs
auteur
Sami El Amraoui, Aghiles Douadi, Régis Leveugle, Paolo Maistri
article
Journal of Electronic Testing: : Theory and Applications, 2025, ⟨10.1007/s10836-025-06181-7⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05105142/file/Reviewed_JETTA_Sami.pdf BibTex
titre
Countermeasures Against Fault Injection Attacks in Processors: A Review
auteur
Roua Boulifa, Giorgio Di Natale, Paolo Maistri
article
Information, 2025, 16 (4), pp.293. ⟨10.3390/info16040293⟩
Accès au bibtex
BibTex

Conference papers

titre
Exploring speculation barriers for RISC-V selective speculation
auteur
Herinomena Andrianatrehina, Ronan Lashermes, Joseph Paturel, Simon Rokicki, Thomas Rubiano
article
ARES 2025 - 20th International Conference on Availability, Reliability and Security, Aug 2025, Ghent, Belgium. pp.1-23
Accès au texte intégral et bibtex
https://hal.science/hal-05061555/file/fence-spec.cr.pdf BibTex
titre
Ahead of Time Generation for GPSA Protection in RISC-V Embedded Cores
auteur
Louis Savary, Simon Rokicki, Steven Derrien
article
ASAP 2025 - 36th IEEE International Conference on Application-specific Systems, Architectures and Processors, Jul 2025, Vancouver (BC), Canada. pp.1-7
Accès au texte intégral et bibtex
https://hal.science/hal-05100014/file/2025169153.pdf BibTex
titre
Early Result Capture: Racing Conditions in Pipeline due to Clock Glitches
auteur
Roua Boulifa, Paolo Maistri, Giorgio Di Natale
article
30th IEEE European Test Symposium (ETS 2025), May 2025, Tallinn, Estonia
Accès au texte intégral et bibtex
https://hal.science/hal-05096879/file/ETS_conference_roua.pdf BibTex
titre
Pulsed Electromagnetic Fault Injection Attack on Ring Oscillator-based PUFs in FPGAs
auteur
Sami El Amraoui, Aghiles Douadi, Régis Leveugle, Paolo Maistri
article
30th IEEE European Test Symposium (ETS 2025), May 2025, Tallinn, Estonia
Accès au texte intégral et bibtex
https://hal.science/hal-05096909/file/ETS25_cameraReady.pdf BibTex
titre
Pre-silicon security analysis of RISC-V processors to fault injection attacks
auteur
Damien Courousse, Mathieu Jan
article
RISC-V Summit Europe, May 2025, paris, France
Accès au texte intégral et bibtex
https://cea.hal.science/cea-05026003/file/main.pdf BibTex
titre
Code Encryption for Confidentiality and Execution Integrity down to Control Signals
auteur
Theophile Gousselot, Jean-Max Dutertre, Olivier Potin, Jean-Baptiste Rigaud
article
IEEE International Symposium on Hardware Oriented Security and Trust (HOST), May 2025, San Jose, United States
Accès au texte intégral et bibtex
https://hal.science/hal-04919136/file/cfi_paper_host_hal_version_PUBLISHED_VERSION.pdf BibTex
titre
Arithmetic and Functional Activity
auteur
Arnaud Tisserand
article
WRACH: Workshop on Randomness and Arithmetics for Cryptographic Hardware, Apr 2025, Roscoff, France
Accès au bibtex
BibTex
titre
Hardware/Software Runtime for GPSA Protection in RISC-V Embedded Cores
auteur
Louis Savary, Simon Rokicki, Steven Derrien
article
DATE 2025 - Design, Automation and Test in Europe Conference, Mar 2025, Lyon, France. pp.1-7
Accès au texte intégral et bibtex
https://hal.science/hal-04788484/file/DBT_MAFIA-7.pdf BibTex
titre
Analysis of Voltage Drop and Temperature Effects on Harmonic Errors under EMFI on ROs
auteur
Sami El Amraoui, Luc Salvo, Régis Leveugle, Paolo Maistri
article
26th IEEE Latin American Test Symposium (LATS 2025), Mar 2025, San Andrés Island, Colombia
Accès au texte intégral et bibtex
https://hal.science/hal-05008902/file/LATS25_CameraReady10Feb.pdf BibTex
titre
Formally Verified Hardening of C Programs against Hardware Fault Injection
auteur
Basile Pesin, Sylvain Boulmé, David Monniaux, Marie-Laure Potet
article
14th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP’25), Jan 2025, Denver (CO), United States. ⟨10.1145/3703595.3705880⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04818801/file/hal_chamois_arsene2024.pdf BibTex

2024

Journal articles

titre
High-confidence Remote Power Analysis on Heterogeneous SoCs
auteur
Anis Fellah-Touta, Lilian Bossuet, Carlos Andres Lara-Nino
article
Journal of Hardware and Systems Security, 2024, ⟨10.1007/s41635-024-00155-5⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04716668/file/%5BHAL%5D%20High-Confidence%20Remote%20Power%20Analysis%20on%20Heterogeneous%20SoCs.pdf BibTex
titre
Fault-resistant partitioning of secure CPUs for system Co-verification against faults
auteur
Simon Tollec, Vedad Hadžić, Pascal Nasahl, Mihail Asavoae, Roderick Bloem, Damien Courousse, Karine Heydemann, Mathieu Jan, Stefan Mangard
article
IACR Transactions on Cryptographic Hardware and Embedded Systems, 2024, 2024 (4), pp.179-204. ⟨10.46586/tches.v2024.i4.179-204⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-04706853/file/main.pdf BibTex
titre
Efficient Adaptive Multi-Level Privilege Partitioning With RTrustSoC
auteur
Raphaële Milan, Lilian Bossuet, Loïc Lagadec, Carlos Andres Lara-Nino, Brice Colombier, Théotime Bollengier
article
IEEE Transactions on Circuits and Systems I: Regular Papers, 2024, 72 (2), pp.497-509. ⟨10.1109/TCSI.2024.3413364⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04630451/file/Efficient%20Adaptive%20Multi-level%20Privilege%20Partitioning%20with%20RTrustSoC.pdf BibTex
titre
Impact of the flicker noise on the ring oscillator-based TRNGs
auteur
Licinius Benea, Mikael Carmona, Viktor Fischer, Florian Pebay-Peyroula, Romain Wacquez
article
IACR Transactions on Cryptographic Hardware and Embedded Systems, 2024, 2024 (2), pp.870-889. ⟨10.46586/tches.v2024.i2.870-889⟩
Accès au texte intégral et bibtex
https://ujm.hal.science/ujm-04428085/file/Impact_of_the_Flicker_Noise_on_the_RO_TRNGs_TCHES_2024.pdf BibTex

Conference papers

titre
Inferred Fault Models for RISC-V and Arm: A Comparative Study
auteur
Ihab Alshaer, Ahmed Al-Kaf, Valentin Egloff, Vincent Beroulle
article
37th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, Oct 2024, Oxfordshire, United Kingdom
Accès au texte intégral et bibtex
https://hal.science/hal-04726690/file/DFTS_2024_ALSHAER.pdf BibTex
titre
Lightweight Active Fences for FPGAs
auteur
Anis Fellah-Touta, Lilian Bossuet, Vincent Grosso, Carlos Andres Lara-Nino
article
IFIP/IEEE International Conference on Very Large Scale Integration VLSI-SoC, IFIP/IEEE, Oct 2024, Tanger, Morocco. ⟨10.1109/VLSI-SoC62099.2024.10767802⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04716753/file/%5BHAL%5D%20Lightweight%20Active%20Fences%20for%20FPGAs.pdf BibTex
titre
Capture the Pulse: Impact of FPGA Resource Utilization on EM Fault Injection Attacks Detection
auteur
Sami El Amraoui, Régis Leveugle, Paolo Maistri
article
IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC 2024), Oct 2024, Tanger, Morocco
Accès au texte intégral et bibtex
https://hal.science/hal-04717585/file/vlsisoc24.pdf BibTex
titre
Modeling Clock Glitch Fault Injection Effects on a RISC-V Microcontroller
auteur
Ihab Alshaer, Ahmed Al-Kaf, Valentin Egloff, Vincent Beroulle
article
2024 IEEE 30th International Symposium on On-Line Testing and Robust System Design (IOLTS), Jul 2024, Rennes, France. ⟨10.1109/IOLTS60994.2024.10616064⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04634303/file/preprint_IOLTS_Alshaer_2024.pdf BibTex
titre
Power Analysis Attack Against post-SAT Logic Locking schemes
auteur
Nassim Riadi, Florent Bruguier, Pascal Benoit, Sophie Dupuis, Marie-Lise Flottes
article
ETS 2024 - 29th IEEE European Test Symposium, May 2024, The Hague, Netherlands. pp.1-6, ⟨10.1109/ETS61313.2024.10567311⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-04628663/file/Power_Analysis_Attack_Against_post-SAT_Logic_Locking_schemes.pdf BibTex
titre
A Lightweight Non-Oscillatory Delay-Sensor for Remote Power Analysis
auteur
Anis Fellah-Touta, Lilian Bossuet, Carlos Andres Lara-Nino
article
2024 IEEE International Symposium on Hardware Oriented Security and Trust (HOST), May 2024, Virginia, United States. pp.343-348, ⟨10.1109/HOST55342.2024.10545353⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04604413/file/FBL2024.pdf BibTex
titre
Internal State Monitoring in RISC-V Microarchitectures for Security Purpose
auteur
Roua Boulifa, Giorgio Di Natale, Paolo Maistri
article
25th IEEE Latin American Test Symposium (LATS 2024), Apr 2024, Maceio (Brazil), Brazil. ⟨10.1109/LATS62223.2024.10534613⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04513607/file/roua_LATS24.pdf BibTex
titre
Harmonic Response of Ring Oscillators under Single ElectroMagnetic Pulsed Fault Injection
auteur
Sami El Amraoui, Aghiles Douadi, Régis Leveugle, Paolo Maistri
article
25th IEEE Latin American Test Symposium (LATS 2024), Apr 2024, Maceio (Brazil), Brazil
Accès au texte intégral et bibtex
https://hal.science/hal-04513585/file/LATS24_Sami.pdf BibTex
titre
Choose your Path: Control of Ring Oscillators EMFI Susceptibility through FPGA P&R Constraints
auteur
Sami El Amraoui, Régis Leveugle, Paolo Maistri
article
International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2024), Apr 2024, Kielce, Poland
Accès au texte intégral et bibtex
https://hal.science/hal-04513560/file/DDECSnoCopyright.pdf BibTex
titre
From low-level fault modeling (of a pipeline attack) to a proven hardening scheme
auteur
Sébastien Michelland, Christophe Deleuze, Laure Gonnord
article
Compiler Construction (CC'24), Mar 2024, Edinburgh (Scotland), United Kingdom. ⟨10.1145/3640537.3641570⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04438994/file/harden_skip_main.pdf BibTex
titre
Covert Communications in Heterogeneous SoCs
auteur
Carlos Andres Lara-Nino, Lilian Bossuet
article
É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
Accès au texte intégral et bibtex
https://hal.science/hal-04467933/file/Fetch2024_Covert_Channels.pdf BibTex
titre
Memory Simulations, Security and Optimization in a Verified Compiler
auteur
David Monniaux
article
Certified Programs and Proofs 2024, Brigitte Pientka; Sandrine Blazy; Amin Timany; Dmitriy Traytel, Jan 2024, London, United Kingdom. ⟨10.1145/3636501.3636952⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04336347/file/memory_simulation_article.pdf BibTex

Poster communications

titre
Full key recovery for advanced Logic Locking Schemes
auteur
Nassim Riadi, Florent Bruguier, Marie-Lise Flottes, Sophie Dupuis, Pascal Benoit
article
CHES 2024 - Conference on Cryptographic Hardware and Embedded Systems, Sep 2024, Halifax, Canada.
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-04689311/file/riadi_nassim_ches_poster.pdf BibTex

Software

titre
Chamois-Arsene
auteur
Basile Pesin, David Monniaux, Sylvain Boulmé
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04854350/file/chamois-arsene.tar.gz BibTex

2023

Journal articles

titre
Enhancing Quality and Security of the PLL-TRNG
auteur
Viktor Fischer, Florent Bernard, Nathalie Bochard, Quentin Dallison, Maciej Skórski
article
IACR Transactions on Cryptographic Hardware and Embedded Systems, 2023, 2023 (4), pp.211-237. ⟨10.46586/tches.v2023.i4.211-237⟩
Accès au texte intégral et bibtex
https://ujm.hal.science/ujm-04199004/file/2023_TCHES_Fischer.pdf BibTex

Conference papers

titre
Combined Internal Attacks on SoC-FPGAs: Breaking AES with Remote Power Analysis and Frequency-based Covert Channels
auteur
Anis Fellah-Touta, Lilian Bossuet, Carlos Andres Lara-Nino
article
8th IEEE European Symposium on Security and Privacy (EuroSP2023), IEEE, Jul 2023, Delft, Netherlands. ⟨10.1109/EuroSPW59978.2023.00035⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04165230/file/%5BHAL%5D_Combined_Internal_Attacks_on_SoC_FPGAs.pdf BibTex
titre
Problématiques modernes de la génération d'aléa véritable: étude approfondie d'un TRNG basé sur les PLLs
auteur
Nathalie Bochard, Florent Bernard
article
Journées Nationales 2023 du GDR Sécurité Informatique, GDR Sécurité Informatique, Jun 2023, Puteaux (92), France
Accès au bibtex
BibTex
titre
Is information leakage spilling?
auteur
Lilian Bossuet, Vincent Grosso, Carlos Andres Lara-Nino
article
Cryptographic architectures embedded in logic devices, Jun 2023, Castro Urdiales, Spain
Accès au bibtex
BibTex
titre
Advanced method for power trace alignment in Remote Power Analysis over Heterogeneous SoCs
auteur
Anis Fellah-Touta, Lilian Bossuet, Carlos Andres Lara-Nino
article
Cryptographic architectures embedded in logic devices, Jun 2023, Castro Urdiales, Spain
Accès au bibtex
BibTex
titre
Lightweight Countermeasures Against Original Linear Code Extraction Attacks on a RISC-V Core
auteur
Théophile Gousselot, Olivier Thomas, Jean-Max Dutertre, Olivier Potin, Jean-Baptiste Rigaud
article
2023 IEEE International Symposium on Hardware Oriented Security and Trust (HOST), May 2023, San Jose, France. pp.89-99, ⟨10.1109/HOST55118.2023.10133316⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04465052/file/lightweight_countermeasures_against_original_linear_code_extraction_attacks_on_a_risc_v_core_host_2023_gousselot_theophile_authors_version.pdf BibTex

Poster communications

titre
Logic-Locking schemes and side channel attacks resilience
auteur
Nassim Riadi, Florent Bruguier, Pascal Benoit, Sophie Dupuis, Marie-Lise Flottes
article
SAFEST Workshop, Jun 2023, Tallinn (Virtual), Estonia
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-04526269/file/safest_presentation_nassim.pdf BibTex