Evénements :

  • 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, 22 mai 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, 21 mai 2015
  • Software Security, Session Emergence de Projets Systematic, 11 février 2015, Alstom Grid à€“ Paris La Défense
  • 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 ?» sponsorisée par IMdR (Institut de Maîtrise des Risques), 4 décembre 2014
  • Security flaws detection using Carto-C, PISCO, Atelier Portes Ouvertes, 18 novembre 2014, Nano INNOV
  • LAFOSEC: Etude et comparaison de OCaml, F# et Scala du point de vue de la sécurité et 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, 5 février 2013