Damien Doligez (Inria) |
Christèle Faure (SafeRiver) |
Thérèse Hardin (UPMC) |
Manuel Maarek (SafeRiver) |
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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.149.6 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |