Analyse de sécurité de logiciels système par typage statique. (Security analysis of system code using static typing). - Etienne Millon (2014)