Experience in using a typed functional language for the development of a security application

Damien Doligez, Christèle Faure, Thérèse Hardin, Manuel Maarek

In this paper we present our experience in developing a security application using a typed functional language. We describe how the formal grounding of its semantic and compiler have allowed for a trustworthy development and have facilitated the fulfillment of the security specification.

Knowledge Graph

arrow_drop_up

Comments

Sign up or login to leave a comment