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:
![]() |
For website issues:
![]() |