Site personnel d'Olivier Levillain
Accueil
Contact
Publications
2013
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