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)
Newspeak, Doubleplussimple Minilang for Goodthinkful Static Analysis of C, Technical Note 2008-IW-SE-00010-1 par Charles Hymans et Olivier Levillain (EADS IW/SE)