The SecurOCaml FUI Project
The goal of this project is to build a platform to develop OCaml applications for security-critical environments..
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 !