Publications

Mind your languages! par Olivier Levillain et Pierre Chifflier (conférence HES)

Mind your Language(s)! Langages de développement et sécurité par Olivier Levillain (conférence RESSI)

Mind your Language(s): A Discussion about Languages and Security par Éric Jaeger et Olivier Levillain (conférence SPW (LangSec))

LaFoSec : Étude de la sécurité intrinsèque des langages fonctionnels par Éric Jaeger, Olivier Levillain, Damien Doligez, Christèle Faure, Thérèse Hardin et Manuel Maarek (conférence JFLA)

JavaSec : Étude de l'adéquation du langage Java pour le développement d'applications de sécurité par Éric Jaeger, Olivier Levillain, Benjamin Morin, Vincent Strubel, Silicom, Amossys et INRIA (ANSSI)

Présentations et autres documents

Mind your Language(s): Langages de développement et sécurité par Olivier Levillain (séminaire Matinales de l'Innovation Logiciel libre et Sécurité)

Mind your Language(s): A Discussion about Languages and Security par Olivier Levillain (conférence HIS)

Mind your Language(s): Langages de développement et sécurité par Olivier Levillain (séminaire Méthodes formelles et langages pour le développement de logiciels fiables dans l'industrie)

Langages de développement et sécurité - Mind your language! par Éric Jaeger et Olivier Levillain (séminaire Performance et Généricité au LRDE)

Langages et sécurité - généralités et cas des langages fonctionnels par Éric Jaeger et Olivier Levillain (conférence JFLA)