SSPREW 2016
(link)

Finding the Needle in the Heap: Combining Static Analysis and Dynamic Symbolic Execution to Trigger Use-After-Free

Josselin Feist, Laurent Mounier, Sébastien Bardin, Marie-Laure Potet, Robin David


ISSTA 2016
(link)

Specification of Concretization and Symbolization Policies in Symbolic Execution

Robin David, Sébastien Bardin, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Thanh Dinh Ta, Jean-Yves Marion


SANER 2016
(link)

BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-level Analysis

Robin David, Sébastien Bardin, Thanh Dinh Ta, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Jean-Yves Marion

Additional infos: Video demo of the crackme solving [youtube]


ICST 2015
(link)

Sound and quasi-Complete Detection of Infeasible Test Requirements

Sébastien Bardin, Mickaël Delahaye, Robin David, Nickolaï Kosmatov, Mike Papadakis, Yves Le Traon, Jean-Yves Marion

Additional infos: Informations about the LTest suite can be found here and the LUncov is downloadable here.




MISC n°78

Mar/Apr 2015

Manipulation du trafic et des protocoles réseaux en userland – Partie 2 [link]

(Protocols and network traffic manipulation in userland - Part 2)


MISC n°77

Jan/Feb 2015

Manipulation du trafic et des protocoles réseaux en userland – Partie 1 [link]

(Protocols and network traffic manipulation in userland - Part 1)


MISC n°74

Jul/Aug 2015

Automatisation des Audits de Sécurité avec SCAP[link]

(Security audits automation with SCAP)


GLMF n°154

Nov 2012

OpenCV détection de mouvement en Python

GNU/Linux Magazine France n° 154
(Motion detection with OpenCV in Python)


Linux Pratique
n°74

Oct 2012

Text-To-Speech avec Python, Gstreamer et Google translate

Linux Pratique n°74