Events:

  • Avoiding Security Pitfalls with Functional Programming: a Report on the Development of a Secure XML Validator, Damien Doligez; Christèle Faure; Thérèse Hardin; Manuel Maarek, ICSE 2015, May 22, 2015
  • Improving Predictability, Efficiency and Trust of Model-Based Proof Activity, Jean-Frédéric Etienne;  Manuel Maarek; Florent Anseaume; Véronique Delebarre, ICSE 2015, May 21st, 2015
  • Qualification et réutilisation de COTS et d’outils, Samuel Colin, Manifestation sur la Maîtrise de la sécurité fonctionnelle des systèmes programmés « De la normalisation sectorielle à la reconnaissance mutuelle ?» sponsored by IMdR (Institut de Maîtrise des Risques), December 4, 2014
  • Security flaws detection using Carto-C, PISCO, Atelier Portes Ouvertes, November 18, 2014, Nano INNOV
  • LAFOSEC: Etude et comparaison de OCaml, F# et Scala du point de vue de la sécurité and LAFOSEC: Recommandations pour les développeurs Ocaml, présentation de l'application réalisée, perspectives d'évolution de OCaml pour répondre aux besoins de sécurité; Damien Doligez, Christèle Faure, Thérèse Hardin, Manuel Maarek, JFLAs 2013, February 5, 2013