Infosec Through People, Process and Technology
Presentation at kLab Kigali
Kigali, Rwanda, 23 of December 2015 [PDF]
SAT Solvers and their Applications
Presentation at Hackito Ergo Sum 2014
Paris, France, 26 of April 2014 [PDF]
Limits of SAT Solvers in Cryptography
Presentation at CASED
July 2011, Darmstadt, Germany [PDF]
CryptoMiniSat — A Rough Guide
Presentation at SMT/SAT Summer School’11
MIT, USA, 14th of June 2011 [PDF]
Cracking Industrial Ciphers at a Whim
Presentation at Hackito Ergo Sum’11
Paris, France, 7th of April 2011 [PDF]
SAT Solver Architectures
Presentation at the Institute for Formal Models and Verification, Linz
Linz, Austria, 9th of February 2011 [PDF]
Using SAT Solvers for Cryptographic Problems
Presentation at Microsoft Research, Cambridge
Cambridge, UK, 5th of November 2010 [PDF]
SAT Solvers and Configuration Management
Presentation for the Mancoosi Project
Paris, France, 2nd of November 2010 [PDF]
Enhanced Gaussian Elimination in DPLL-based SAT Solvers
Presentation at the Pragmatics of SAT workshop 2010
Edinburgh, Scotland, UK, 10th of July 2010 [PDF]
Grain of Salt — An Automated Way to Test Stream Ciphers through SAT Solvers
Presentation at Workshop on Tools for Cryptanalysis 2010
Royal Holloway, University of London (UK), 23rd of June 2010 [PDF]
SAT Solvers in the Context of Cryptography 2.0
Presentation for the sercurity group of Montpellier’s LIRMM laboratory
Montpellier, France, 10th of June 2010 [PDF]
SAT Solvers in the Context of Cryptography
Presentation for Rennes’s Cryptography Seminar
Rennes, France, 7th of May 2010 [PDF]
SAT Solvers in the Context of Stream Ciphers
Presentation for Jurnees C2
Frejus, France, 8th of October 2009 [PDF]
Privacy-preserving Security Protocols for RFIDs
Thesis defense
Grenoble, France, 6th of October 2009 [PDF]
Extending SAT Solvers to Cryptographic Problems
Presentation for SAT 2009
Swansea, England, 1th of July 2009 [PDF]
RFID standards – ISO14443,ISO15693 and EPCGlobal
Planete Seminar
Grenoble, France, 19th of May 2008 [PDF]
