Guillaume BOUFFARD

Identifiants chercheurs

IdHAL :

guillaume-bouffard

ORCID :

0000-0002-2046-369X

IdRef :

181982110

Présentation

Sur cette page, vous trouverez mes publications, si toutefois il en manquait ou si vous avez des questions sur l'une d'entre elles, n'hésitez pas à me contacter.

Publications

Article dans une revue (8)

Do Not Trust Power Management: A Survey on Internal Energy-based Attacks Circumventing Trusted Execution Environments Security Properties Gwenn Le Gonidec,Guillaume Bouffard,Jean-Christophe Prevotet,Maria Méndez Real ACM Transactions on Embedded Computing Systems (TECS), 2025, ACM Transactions on Embedded Computing Systems, 24 (4), pp.1-35. ⟨10.1145/3735556⟩ Article dans une revue hal-05067675v2
Electromagnetic fault injection against a complex CPU, toward new micro-architectural fault models Thomas Trouchkine,Sébanjila Kevin K Bukasa,Mathieu Escouteloup,Ronan Lashermes,Guillaume Bouffard Journal of Cryptographic Engineering, 2021, 11 (4), pp.353--367. ⟨10.1007/s13389-021-00259-6⟩ Article dans une revue hal-03175704v1
Trust Can be Misplaced Noreddine Janati,Guillaume Bouffard,Jean-Louis Lanet,Said Elhajji Journal of Cryptographic Engineering, 2016, ⟨10.1007/s13389-016-0142-5⟩ Article dans une revue hal-01405463v1
The ultimate control flow transfer in a Java based smart card Guillaume Bouffard,Jean-Louis Lanet Computers & Security, 2015, 50, pp.33-46. ⟨10.1016/j.cose.2015.01.004⟩ Article dans une revue hal-01211370v1
Java Card dans tous ses États ! Guillaume Bouffard,Tiana Razafindralambo Multi-System & Internet Security (MISC), 2014, Hors-Série (9), pp.60-68 Article dans une revue hal-01024377v1
Reversing the Operating System of a Java Based Smart Card Guillaume Bouffard,Jean-Louis Lanet Journal of Computer Virology and Hacking Techniques, 2014, 15 p. ⟨10.1007/s11416-014-0218-7⟩ Article dans une revue hal-01024393v1
Security automaton to mitigate laser-based fault attacks on smart cards Guillaume Bouffard,Bhagyalekshmy N Thampi,Jean-Louis Lanet International Journal of Trust Management in Computing and Communications, 2014, 2 (2), pp.185. ⟨10.1504/IJTMCC.2014.064158⟩ Article dans une revue hal-03162163v1
Mitigating Type Confusion on Java Card Jean Dubreuil,Guillaume Bouffard,N. Thampi Bhagyalekshmy,Jean-Louis Lanet International Journal of Secure Software Engineering, 2013, 4 (2), pp.19-39. ⟨10.4018/jsse.2013040102⟩ Article dans une revue hal-00966327v1

Communication dans un congrès (27)

A Lightweight Embedded Detection System against Voltage Drop Fault Attacks in Multi-Tenant FPGAs Gwenn Le Gonidec,Guillaume Bouffard,Jean-Chirstophe Prévotet,Maria Méndez Real CASCADE (Constructive Approaches for SeCurity Analysis and Design of Embedded systems), Mar 2026, Regensburg, Germany Communication dans un congrès hal-05537419v1
300 secondes chrono : prise de contrôle d'un infodivertissement automobile à distance Philippe Trébuchet,Guillaume Bouffard Symposium sur la sécurité des technologies de l'information et des communications (SSTIC), Jun 2025, Rennes, France Communication dans un congrès hal-05102853v1
Characterizing and Modeling Synchronous Clock-Glitch Fault Injection Amélie Marotta,Ronan Lashermes,Guillaume Bouffard,Olivier Sentieys,Rachid Dafali COSADE 2024 - Constructive Side-Channel Analysis and Secure Design, Apr 2024, Gardanne, France. pp.3-21, ⟨10.1007/978-3-031-57543-3_1⟩ Communication dans un congrès hal-04549548v1
Faulting original McEliece's implementations is possible Vincent Giraud,Guillaume Bouffard Workshop on the Security of Software/Hardware Interfaces, Guillaume Hiet; Jan Tobias Mühlberg, Jul 2023, Delft, Netherlands Communication dans un congrès hal-04089762v1
PhiAttack Jean Dubreuil,Guillaume Bouffard CARDIS 2021 - 20th International Conference on Smart Card Research and Advanced Applications, Nov 2021, Lübeck, Germany. pp.275-288, ⟨10.1007/978-3-030-97348-3_15⟩ Communication dans un congrès hal-03823792v1
EM Fault Model Characterization on SoCs: From Different Architectures to the Same Fault Model Thomas Trouchkine,Guillaume Bouffard,Jessy Clediere Workshop on Fault Detection and Tolerance in Cryptography (FDTC), Sep 2021, Milan, Italy. pp.31-38, ⟨10.1109/FDTC53659.2021.00014⟩ Communication dans un congrès hal-03382761v1
Fault Injection Characterization on modern CPUs - From the ISA to the Micro-Architecture Thomas Trouchkine,Guillaume Bouffard,Jessy Clédière 13th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2019, Paris, France. pp.123-138, ⟨10.1007/978-3-030-41702-4_8⟩ Communication dans un congrès hal-03138010v1
Hardening a Java Card Virtual Machine Implementation with the MPU Guillaume Bouffard,Léo Gaspard Symposium sur la sécurité des technologies de l’information et des communications (SSTIC), Jun 2018, Rennes, France Communication dans un congrès hal-03150907v1
Problems and state of the art of faults injection on Systems on Chip Thomas Trouchkine,Guillaume Bouffard,David El-Baze,Jessy Clediere PHISIC, May 2018, Gardanne, France Communication dans un congrès hal-03138867v1
Java Card Virtual Machine Compromising from a Bytecode Verified Applet Julien Lancia,Guillaume Bouffard Smart Card Research and Advanced Applications - 14th International Conference, CARDIS 2015, Nov 2015, Bochum, Germany. pp.75-88, ⟨10.1007/978-3-319-31271-2_5⟩ Communication dans un congrès hal-03138832v1
Fuzzing and Overflows in Java Card Smart Cards Julien Lancia,Guillaume Bouffard SSTIC, Jun 2016, Rennes, France Communication dans un congrès hal-03138856v1
Memory Forensics of a Java Card Dump Jean-Louis Lanet,Guillaume Bouffard,Rokia Lamrani,Ranim Chakra,Afef Mestiriet al. Cardis 2014 - 13th International Conference Smart Card Research and Advanced Application Conference, CNAM, Nov 2014, Paris, France. pp.3-17, ⟨10.1007/978-3-319-16763-3_1⟩ Communication dans un congrès hal-01250605v1
Heap . . . Hop! Heap Is Also Vulnerable Guillaume Bouffard,Michael Lackner,Jean-Louis Lanet,Johannes Loinig Cardis 2014, Nov 2014, Paris, France. ⟨10.1007/978-3-319-16763-3_2⟩ Communication dans un congrès hal-01250610v1
Escalade de privilège dans une carte à puce Java Card Guillaume Bouffard,Jean-Louis Lanet Symposium sur la sécurité des technologies de l’information et des communications (SSTIC), Jun 2014, Rennes, France Communication dans un congrès hal-03150901v1
Intégration d'une politique de flot de contrôle dans un automate de sécurité Guillaume Bouffard,Mathieu Lassale,Sergio Ona Domene,Hanan Tadmori,Jean-Louis Lanet 8ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information (SAR-SSI), Sep 2013, Mont-de-Marsan, France Communication dans un congrès hal-00966394v1
Vulnerability Analysis on Smart Cards Using Fault Tree Guillaume Bouffard,N. Thampi Bhagyalekshmy,Jean-Louis Lanet 32nd International Conference of Computer Safety, Reliability, and Security, Sep 2013, Toulouse, France. pp.82-93, ⟨10.1007/978-3-642-40793-2_8⟩ Communication dans un congrès istex hal-00966375v1
L'(in)sécurité informatique Quelle confiance peut-on avoir en notre vie numérique ? Guillaume Bouffard Univers-SIEL, Mar 2013, Limoges, France Communication dans un congrès hal-00966341v1
Accessing Secure Information using Export file Fraudulence Guillaume Bouffard,Tom Khefif,Ismael Kane,Sergio Casanova Salvia CRiSIS, Oct 2013, La Rochelle, France. pp.1-5, ⟨10.1109/CRiSIS.2013.6766346⟩ Communication dans un congrès hal-00966368v1
Detecting Laser Fault Injection for Smart Cards using Security Automata Guillaume Bouffard,N. Thampi Bhagyalekshmy,Jean-Louis Lanet Security in Computing and Communications - International Symposium (SSCC), Aug 2013, Mysore, India. pp.18-29, ⟨10.1007/978-3-642-40576-1⟩ Communication dans un congrès hal-00966373v1
A Dynamic Syntax Interpretation for Java Based Smart Card to Mitigate Logical Attacks Tiana Razafindralambo,Guillaume Bouffard,N. Thampi Bhagyalekshmy,Jean-Louis Lanet International Conference, SNDS 2012, Oct 2012, Trivandrum, India. pp.185-194, ⟨10.1007/978-3-642-34135-9_19⟩ Communication dans un congrès hal-00937272v1
A friendly framework for hidding fault enabled virus for Java based smartcard Tiana Razafindralambo,Guillaume Bouffard,Jean-Louis Lanet 26th Conference on Data and Applications Security and Privacy (DBSec), Jul 2012, Paris, France. pp.122-128, ⟨10.1007/978-3-642-31540-4_10⟩ Communication dans un congrès hal-00937307v1
Type classification against Fault Enabled Mutant in Java based Smart Card Jean Dubreuil,Guillaume Bouffard,Jean-Louis Lanet,Julien Iguchi-Cartigny 2012 Seventh International Conference on Availability, Reliability and Security, Aug 2012, Prague, Czech Republic. pp.551-556, ⟨10.1109/ARES.2012.24⟩ Communication dans un congrès hal-00937292v1
Subverting Byte Code Linker service to characterize Java Card API Samiya Hamadouche,Guillaume Bouffard,Jean-Louis Lanet,Bruno Dorsemaine,Bastien Nouhantet al. 7ème Conférence sur la Sécurité des Architectures Réseaux et Systèmes d'Information, May 2012, Cabourg, France. pp.75-81 Communication dans un congrès hal-00937333v1
Fuzzing on the HTTP protocol implementation in mobile embedded web server Matthieu Barreaud,Guillaume Bouffard,Nassima Kamel,Jean-Louis Lanet C&ESAR, Nov 2011, Rennes, France Communication dans un congrès hal-03138849v1
OPAL: an open-source global platform Java Library which includes the remote application management over HTTP, Anis Bkakria,Guillaume Bouffard,Julien Iguchi-Cartigny,Jean-Louis Lanet e-Smart 2011, Sep 2011, Sophia-Antipolis, France Communication dans un congrès hal-00684652v1
Combined Software and Hardware Attacks on the Java Card Control Flow Guillaume Bouffard,Julien Iguchi-Cartigny,Jean-Louis Lanet 10th Smart Card Research and Advanced Applications (CARDIS), Sep 2011, Leuven, Belgium. pp.283-296, ⟨10.1007/978-3-642-27257-8_18⟩ Communication dans un congrès hal-00684616v1
Evaluation of the Ability to Transform SIM Applications into Hostile Applications Guillaume Bouffard,Jean-Louis Lanet,Jean-Baptiste Machemie,Jean-Yves Poichotte,Jean-Philippe Wary 10th Smart Card Research and Advanced Applications (CARDIS), Sep 2011, Leuven, Belgium. pp.1-17, ⟨10.1007/978-3-642-27257-8_1⟩ Communication dans un congrès hal-00684113v1

Chapitre d'ouvrage (2)

La Sécurité Logique Guillaume Barbu,Guillaume Bouffard,Julien Iguchi-Cartigny Les cartes à puce, Hermes, pp.171-201, 2013, 9782746239135 Chapitre d'ouvrage hal-00966334v1
The Next Smart Card Nightmare Logical Attacks, Combined Attacks, Mutant Applications and other Funny Things Guillaume Bouffard,Jean-Louis Lanet D. Naccache. CRYPTOGRAPHY AND SECURITY: FROM THEORY TO APPLICATIONS, Springer, pp.405-424, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-28368-0_26⟩ Chapitre d'ouvrage hal-00684662v1

Autre publication scientifique (2)

Combined Attacks on Java Card Smart Cards, PHYSIC 2011 Guillaume Bouffard,Jean-Louis Lanet 2011 Autre publication scientifique hal-00684665v1
Fuzzing du protocole HTTP sur carte à puce Matthieu Barreaud,Guillaume Bouffard,Julien Iguchi-Cartigny,Jean-Louis Lanet 2011 Autre publication scientifique hal-03138863v1

Pré-publication, Document de travail (2)

Java Card Virtual Machine Memory Organization: a Design Proposal Guillaume Bouffard,Vincent Giraud,Léo Gaspard 2021 Pré-publication, Document de travail hal-03388043v1
Electromagnetic fault injection against a System-on-Chip, toward new micro-architectural fault models Thomas Trouchkine,Sébanjila Kevin Bukasa,Mathieu Escouteloup,Ronan Lashermes,Guillaume Bouffard 2019 Pré-publication, Document de travail hal-03138774v1

Thèse (1)

A Generic Approach for Protecting Java Card™ Smart Card Against Software Attacks Guillaume Bouffard Electronics. Université de Limoges, 2014. English. ⟨NNT : 2014LIMO0007⟩ Thèse tel-01089654v1

HDR (1)

Contributions to the Security of Embedded Software in the Chain of Trust Guillaume Bouffard Cryptography and Security [cs.CR]. Université Grenoble - Alpes, 2025 HDR tel-05304523v3