Publié le 04 Juin 2009 , mis à jour le 18 Novembre 2014 Défi SEC&SI, un système d’exploitation cloisonné et sécurisé pour l’internaute Présentation du défi SEC&SI, SSTIC09
Publié le 03 Juin 2009 , mis à jour le 05 Février 2015 ACPI et routine de traitement de la SMI : des limites à l'informatique de confiance ?
Publié le 03 Décembre 2008 , mis à jour le 05 Février 2015 Quelle confiance dans les composants matériels ?
Publié le 03 Décembre 2008 , mis à jour le 05 Février 2015 A Few Remarks About Formal Development of Secure Systems
Publié le 06 Juin 2008 , mis à jour le 05 Février 2015 Recherche et développement en sécurité des systèmes d’information : orientations et enjeux
