The SecurOCaml FUI Project

The goal of this project is to build a platform to develop OCaml applications for security-critical environments..

Technology Providers

Academic Partners

Industrial Users


  • June 15, 2015: Vincent Laviron was hired at OCamlPro to work full-time on the project, on the exception-analyser that Thomas Blanc is designing during his PhD.

  • December 2, 2015: a public Github project is created to host the public files of the project.

  • January 16, 2015: the Secur-OCaml project is started ! We all got our first meeting at IRILL in Place d'Italie, Paris !