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 Chapter

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

Journal Articles

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

International Conferences

  1. Java Card Virtual Machine Compromising from a Bytecode Verified Applet Lancia, Julien, and Bouffard, Guillaume 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 Bouffard, Guillaume, Lackner, Michael, Lanet, Jean-Louis, and Loinig, Johannes 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 Lanet, Jean-Louis, Bouffard, Guillaume, Lamrani, Rokia, Chakra, Ranim, Mestiri, Afef, Monsif, Mohammed, and Fandi, Abdellatif 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 Bouffard, Guillaume, Khefif, Tom, Lanet, Jean-Louis, Kane, Ismael, and Salvia, Sergio Casanova 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 Bouffard, Guillaume, Thampi, Bhagyalekshmy N., and Lanet, Jean-Louis 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 Bouffard, Guillaume, Thampi, Bhagyalekshmy N., and Lanet, Jean-Louis 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 Dubreuil, Jean, Bouffard, Guillaume, Lanet, Jean-Louis, and Cartigny, Julien In Seventh International Conference on Availability, Reliability and Security, Prague, ARES 2012, Czech Republic, August 20-24, 2012 2012 [Abs] [PDF]
  8. Cryptography and Security: From Theory to Applications - Essays Dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday Bouffard, Guillaume, and Lanet, Jean-Louis 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 Razafindralambo, Tiana, Bouffard, Guillaume, and Lanet, Jean-Louis 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 Razafindralambo, Tiana, Bouffard, Guillaume, Thampi, Bhagyalekshmy N., and Lanet, Jean-Louis 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 Bouffard, Guillaume, Lanet, Jean-Louis, Machemie, Jean-Baptiste, Poichotte, Jean-Yves, and Wary, Jean-Philippe 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 Bouffard, Guillaume, Iguchi-Cartigny, Julien, and Lanet, Jean-Louis 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]

Invited Conferences

  1. Security of the Java Card Secure Elements Bouffard, Guillaume Cyber in Bretagne Summer School 2016 2016 [Slides]
  2. Enjeux, évolution et conséquences de la sécurité du monde mobile Bouffard, Guillaume Workshop SERTIF : Simulation pour l’Evaluation de la RobusTesse des applications embarquées contre l’Injection de Fautes 2016
  3. Java Card Virtual Machine Compromising from a Bytecode Verified Applet Lancia, Julien, and Bouffard, Guillaume Rendez-Vous de la Recherche et de l’Enseignement de la Sécurité des Systèmes d’Information (RESSI) 2016
  4. Attacks against the Java Card Platform – From the Characterization to the Exploitation Bouffard, Guillaume Journées thématiques: Respect de la vie privée et services mobiles sans contact 2015 [Abs]
  5. Next-Gen Attacks against the Java Card Smart Cards Bouffard, Guillaume Séminaire sécurité des systèmes électroniques embarqués 2015 [Abs]
  6. Quelle confiance peut on faire au monde numérique? Bouffard, Guillaume LIONS Club International association – Limoges Céladon 2014 [Slides]
  7. L’(in)sécurité informatique Quelle confiance peut-on avoir en notre vie numérique ? Bouffard, Guillaume Univers-SIEL 2013 [Abs] [Slides]
  8. Smart Card Attacks: Enter the matrix Razafindralambo, Tiana, Bouffard, Guillaume, Iguchi-Cartigny, Julien, and Lanet, Jean-Louis Sécurité des systèmes Embarqués du GDR SoC-SiP 2012 [Slides]

National Conferences

  1. Fuzzing and Overflows in Java Card Smart Cards Lancia, Julien, and Bouffard, Guillaume In Symposium sur la sécurité des technologies de l’information et des communications (SSTIC) 2016 [Abs]
  2. Escalade de privilège dans une carte à puce Java Card Bouffard, Guillaume, and Lanet, Jean-Louis In Symposium sur la sécurité des technologies de l’information et des communications (SSTIC) 2014 [Abs] [PDF] [Slides]
  3. Intégration d’une politique de flot de contrôle dans un automate de sécurité Bouffard, Guillaume, Lassale, Mathieu, Domene, Sergio Ona, Tadmori, Hanan, and Lanet, Jean-Louis 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]
  4. Subverting Byte Code Linker service to characterize Java Card API Hamadouche, Samiya, Bouffard, Guillaume, Lanet, Jean-Louis, Dorsemaine, Bruno, Nouhant, Bastien, Magloire, Alexandre, and Reygnaud, Arnaud In Seventh Conference on Network and Information Systems Security (SAR-SSI) 2012 [Abs] [PDF] [Slides]
  5. Fuzzing on the HTTP protocol implementation in mobile embedded web server Barreaud, Matthieu, Bouffard, Guillaume, Kamel, Nassima, and Lanet, Jean-Louis In 2011 [Abs] [PDF]
  6. Fuzzing du protocole HTTP sur carte à puce Barreaud, Matthieu, Bouffard, Guillaume, Iguchy-Cartigny, Julien, and Lanet, Jean-Louis 2011 [Abs] [Slides]
  7. OPAL: an open-source global platform Java Library which includes the remote application management over HTTP Bkakria, Anis, Bouffard, Guillaume, Iguchy-Cartigny, Julien, and Lanet, Jean-Louis 2011 [Abs]
  8. Carte à puce : Attaques et Contremesures Noubissi, Agnès Cristèle, Al Khary Sere, Ahmadou, Iguchi-Cartigny, Julien, Lanet, Jean-Louis, Bouffard, Guillaume, and Boutet, Julien In 2009 [Abs] [PDF]

Thesis

  1. A Generic Approach for Protecting Java Card Smart Card Against Software Attacks Bouffard, Guillaume 2014 [Abs] [PDF] [Slides]
  2. Analysis and binary transformation Bouffard, Guillaume 2010 [Abs] [PDF] [Slides]

Tutorial

  1. Attacks against the Java Card Platform Bouffard, Guillaume CryptoBG International Summer School 2015

Poster

  1. Combined Attacks on Java Card Smart Cards Bouffard, Guillaume, and Lanet, Jean-Louis 2011