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

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.

In Catherine Dubois, Dimitra Giannakopoulou and Dominique Méry: Proceedings 1st Workshop on Formal Integrated Development Environment (F-IDE 2014), Grenoble, France, April 6, 2014, Electronic Proceedings in Theoretical Computer Science 149, pp. 58–63.
Published: 26th April 2014.

ArXived at: http://dx.doi.org/10.4204/EPTCS.149.6 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org