Billet de la série Mind your Languages

Publications

2015
Entrée en langue anglaise / English entry Mind your languages! par Olivier Levillain et Pierre Chifflier (conférence HES)
BibTeX Présentation Vidéo
Entrée en langue française / French entry Mind your Language(s)! Langages de développement et sécurité par Olivier Levillain (conférence RESSI)
BibTeX Présentation
2014
Entrée en langue anglaise / English entry Mind your Language(s): A Discussion about Languages and Security par Éric Jaeger et Olivier Levillain (conférence SPW (LangSec))
BibTeX Document Présentation
2013
Entrée en langue française / French entry 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)
BibTeX Partie 1 Partie 2 Partie 3 Partie 4 Documents publiés sur le site de l'ANSSI xsvgen sur GitHub
2009
Entrée en langue française / French entry 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)
BibTeX Page du projet JavaSec sur le site de l'ANSSI

Présentations et autres documents

2014
Entrée en langue française / French entry 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é)
BibTeX Présentation Vidéo
Entrée en langue anglaise / English entry Mind your Language(s): A Discussion about Languages and Security par Olivier Levillain (conférence HIS)
BibTeX Présentation
Entrée en langue française / French entry 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)
BibTeX Présentation
2013
Entrée en langue française / French entry 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)
BibTeX Présentation Site du séminaire
Entrée en langue française / French entry Langages et sécurité - généralités et cas des langages fonctionnels par Éric Jaeger et Olivier Levillain (conférence JFLA)
BibTeX Présentation Exemples de code