Below is a list of my publications. My main publications are available from DBLP database. For most of papers, a link is provided to the on-line version. Alternatively, I will happy to send you a copy available on request.

[ Book Chapters ] [ Journals ] [ Conferences & Workshops ] [ Thesis ]

Book Chapter

  1. La Sécurité Logique Guillaume Barbu, Guillaume Bouffard, and Julien Iguchy-Cartigny 2013 [HTML]

Journal Articles

  1. Trust Can be Misplaced Noreddine El Janati El Idrissi, Guillaume Bouffard, Jean-Louis Lanet and Said El Hajji Journal of Cryptographic Engineering 2017 [Abs]
  2. The ultimate control flow transfer in a Java based smart card Guillaume Bouffard, and Jean-Louis Lanet Computers and Security 2015 [Abs] [PDF]
  3. Security automaton to mitigate laser-based fault attacks on smart cards Guillaume Bouffard, Bhagyalekshmy N. Thampi, and Jean-Louis Lanet IJTMCC 2014 [Abs] [HTML] [PDF]
  4. Reversing the operating system of a Java based smart card Guillaume Bouffard, and Jean-Louis Lanet Journal Computer Virology and Hacking Techniques 2014 [Abs] [HTML] [PDF]
  5. Mitigating Type Confusion on Java Card Jean Dubreuil, Guillaume Bouffard, Bhagyalekshmy N. Thampi, and Jean-Louis Lanet IJSSE 2013 [Abs] [HTML] [PDF]

International Conferences

  1. Java Card Virtual Machine Compromising from a Bytecode Verified Applet Julien Lancia, and Guillaume Bouffard In Smart Card Research and Advanced Applications - 14th International Conference, CARDIS 2015, Bochum, Germany, November 4-6, 2015. Revised Selected Papers 2015 [Abs] [PDF] [Slides]
  2. Heap ... Hop! Heap Is Also Vulnerable Guillaume Bouffard, Michael Lackner, Jean-Louis Lanet and Johannes Loinig In Smart Card Research and Advanced Applications - 13th International Conference, CARDIS 2014, Paris, France, November 5-7, 2014. Revised Selected Papers 2014 [Abs] [PDF] [Slides]
  3. Memory Forensics of a Java Card Dump Jean-Louis Lanet Guillaume Bouffard, Rokia Lamrani, Ranim Chakra, Afef Mestiri, Mohammed Monsif, and Abdellatif Fandi In Smart Card Research and Advanced Applications - 13th International Conference, CARDIS 2014, Paris, France, November 5-7, 2014. Revised Selected Papers 2014 [Abs] [PDF] [Slides]
  4. Accessing secure information using export file fraudulence Guillaume Bouffard, Tom Khefif, Jean-Louis Lanet Ismael Kane, and Sergio Casanova Salvia In 2013 International Conference on Risks and Security of Internet and Systems (CRiSIS), La Rochelle, France, October 23-25, 2013 2013 [Abs] [PDF] [Slides]
  5. Vulnerability Analysis on Smart Cards Using Fault Tree Guillaume Bouffard, Bhagyalekshmy N. Thampi, and Jean-Louis Lanet In Computer Safety, Reliability, and Security - 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings 2013 [Abs] [PDF] [Slides]
  6. Detecting Laser Fault Injection for Smart Cards Using Security Automata Guillaume Bouffard, Bhagyalekshmy N. Thampi, and Jean-Louis Lanet In Security in Computing and Communications - International Symposium, SSCC 2013, Mysore, India, August 22-24, 2013. Proceedings 2013 [Abs] [PDF] [Slides]
  7. Type Classification against Fault Enabled Mutant in Java Based Smart Card Jean Dubreuil, Guillaume Bouffard, Jean-Louis Lanet and Julien Cartigny In Seventh International Conference on Availability, Reliability and Security, Prague, ARES 2012, Czech Republic, August 20-24, 2012 2012 [Abs] [HTML] [PDF]
  8. Cryptography and Security: From Theory to Applications - Essays Dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday Guillaume Bouffard, and Jean-Louis Lanet In Cryptography and Security: From Theory to Applications - Essays Dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday 2012 [Abs] [PDF]
  9. A Friendly Framework for Hidding fault enabled virus for Java Based Smartcard Tiana Razafindralambo, Guillaume Bouffard, and Jean-Louis Lanet In Data and Applications Security and Privacy XXVI - 26th Annual IFIP WG 11.3 Conference, DBSec 2012, Paris, France, July 11-13,2012. Proceedings 2012 [Abs] [PDF] [Slides]
  10. A Dynamic Syntax Interpretation for Java Based Smart Card to Mitigate Logical Attacks Tiana Razafindralambo, Guillaume Bouffard, Bhagyalekshmy N. Thampi, and Jean-Louis Lanet In Recent Trends in Computer Networks and Distributed Systems Security - International Conference, SNDS 2012, Trivandrum, India, October 11-12, 2012. Proceedings 2012 [Abs] [PDF] [Slides]
  11. Evaluation of the Ability to Transform SIM Applications into Hostile Applications Guillaume Bouffard, Jean-Louis Lanet Jean-Baptiste Machemie, Jean-Yves Poichotte, and Jean-Philippe Wary In Smart Card Research and Advanced Applications - 10th IFIP WG 8.8/11.2 International Conference, CARDIS 2011, Leuven, Belgium, September 14-16, 2011, Revised Selected Papers 2011 [Abs] [PDF] [Slides]
  12. Combined Software and Hardware Attacks on the Java Card Control Flow Guillaume Bouffard, Julien Iguchi-Cartigny, and Jean-Louis Lanet In Smart Card Research and Advanced Applications - 10th IFIP WG 8.8/11.2 International Conference, CARDIS 2011, Leuven, Belgium, September 14-16, 2011, Revised Selected Papers [Abs] [PDF] [Slides]

National Conferences

  1. Hardening a Java Card Virtual Machine Implementation with the MPU Guillaume Bouffard, and Léo Gaspard In Symposium sur la sécurité des technologies de l’information et des communications (SSTIC) 2018 [Abs] [HTML] [PDF] [Slides]
  2. Problems and state of the art of faults injection on Systems on Chip Thomas Trouchkine Guillaume Bouffard, David El Baze, and Jessy clédière PHISIC 2018 workshop 2018 [Slides]
  3. Fuzzing and Overflows in Java Card Smart Cards Julien Lancia, and Guillaume Bouffard In Symposium sur la sécurité des technologies de l’information et des communications (SSTIC) 2016 [Abs] [HTML] [PDF] [Slides]
  4. Escalade de privilège dans une carte à puce Java Card Guillaume Bouffard, and Jean-Louis Lanet In Symposium sur la sécurité des technologies de l’information et des communications (SSTIC) 2014 [Abs] [HTML] [PDF] [Slides]
  5. 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, and Jean-Louis Lanet In 8ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d’Information (SAR-SSI) 2013 [Abs] [PDF] [Slides]
  6. Subverting Byte Code Linker service to characterize Java Card API Samiya Hamadouche, Guillaume Bouffard, Jean-Louis Lanet Bruno Dorsemaine, Bastien Nouhant, Alexandre Magloire, and Arnaud Reygnaud In Seventh Conference on Network and Information Systems Security (SAR-SSI) 2012 [Abs] [HTML] [PDF] [Slides]
  7. Fuzzing on the HTTP protocol implementation in mobile embedded web server Matthieu Barreaud, Guillaume Bouffard, Nassima Kamel, and Jean-Louis Lanet In 2011 [Abs] [PDF]
  8. OPAL: an open-source global platform Java Library which includes the remote application management over HTTP Anis Bkakria, Guillaume Bouffard, Julien Iguchy-Cartigny, and Jean-Louis Lanet 2011 [Abs]
  9. Fuzzing du protocole HTTP sur carte à puce Matthieu Barreaud, Guillaume Bouffard, Julien Iguchy-Cartigny, and Jean-Louis Lanet 2011 [Abs] [Slides]
  10. Carte à puce : Attaques et Contremesures Agnès Cristèle Noubissi, Ahmadou Al Khary Sere, Julien Iguchi-Cartigny, Jean-Louis Lanet Guillaume Bouffard, and Julien Boutet In 2009 [Abs] [HTML] [PDF]

Thesis

  1. A Generic Approach for Protecting Java Card Smart Card Against Software Attacks Guillaume Bouffard 2014 Award Prix de thèse de l’action du CNRS Objets intelligents sécurisés et Internet des objets [Abs] [PDF] [Slides]
  2. Analysis and binary transformation Guillaume Bouffard 2010 [Abs] [PDF] [Slides]