Access content directly

Guillaume BOUFFARD

37
Documents
Researcher identifiers

Presentation

On this page you will find my publications, if one is missing or if you have a question, do not hesitate to contact me.
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

Image document

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 et al.
Journal of Cryptographic Engineering, 2021, 11 (4), pp.353--367. ⟨10.1007/s13389-021-00259-6⟩
Journal articles 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⟩
Journal articles hal-01405463v1
Image document

The ultimate control flow transfer in a Java based smart card

Guillaume Bouffard , Jean-Louis Lanet
Computers and Security, 2015, 50, pp.33-46. ⟨10.1016/j.cose.2015.01.004⟩
Journal articles hal-01211370v1
Image document

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⟩
Journal articles hal-03162163v1

Java Card dans tous ses États !

Guillaume Bouffard , Tiana Razafindralambo
Multi-System & Internet Security (MISC), 2014, Hors-Série (9), pp.60-68
Journal articles 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⟩
Journal articles hal-01024393v1

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⟩
Journal articles hal-00966327v1
Image document

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⟩
Conference papers hal-03823792v1
Image document

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⟩
Conference papers hal-03382761v1
Image document

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⟩
Conference papers hal-03138010v1
Image document

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
Conference papers 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
Conference papers hal-03138867v1
Image document

Fuzzing and Overflows in Java Card Smart Cards

Julien Lancia , Guillaume Bouffard
SSTIC, Jun 2016, Rennes, France
Conference papers hal-03138856v1
Image document

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⟩
Conference papers hal-03138832v1
Image document

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⟩
Conference papers hal-01250610v1
Image document

Memory Forensics of a Java Card Dump

Jean-Louis Lanet , Guillaume Bouffard , Rokia Lamrani , Ranim Chakra , Afef Mestiri et 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⟩
Conference papers hal-01250605v1
Image document

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
Conference papers 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 et al.
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
Conference papers hal-00966394v1

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⟩
Conference papers 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⟩
Conference papers hal-00966373v1

L'(in)sécurité informatique Quelle confiance peut-on avoir en notre vie numérique ?

Guillaume Bouffard
Univers-SIEL, Mar 2013, Limoges, France
Conference papers hal-00966341v1

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⟩
Conference papers hal-00966375v1

Subverting Byte Code Linker service to characterize Java Card API

Samiya Hamadouche , Guillaume Bouffard , Jean-Louis Lanet , Bruno Dorsemaine , Bastien Nouhant et 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
Conference papers hal-00937333v1

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⟩
Conference papers hal-00937292v1
Image document

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⟩
Conference papers hal-00937307v1

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⟩
Conference papers hal-00937272v1
Image document

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
Conference papers hal-03138849v1
Image document

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 et al.
10th Smart Card Research and Advanced Applications (CARDIS), Sep 2011, Leuven, Belgium. pp.1-17, ⟨10.1007/978-3-642-27257-8_1⟩
Conference papers hal-00684113v1
Image document

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⟩
Conference papers hal-00684616v1

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
Conference papers hal-00684652v1

La Sécurité Logique

Guillaume Barbu , Guillaume Bouffard , Julien Iguchi-Cartigny
Les cartes à puce, Hermes, pp.171-201, 2013, 9782746239135
Book sections 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⟩
Book sections hal-00684662v1