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 Publication à SPW (LangSec) 2014
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

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ésentationExemples de code