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

Christ\`ele Faure (SafeRiver); Damien Doligez (Inria); Manuel Maarek (SafeRiver); Th\'er\`ese Hardin (UPMC)

arxiv: 1404.6606 · v1 · pith:DEWUJPTWnew · submitted 2014-04-26 · 💻 cs.SE · cs.CR

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

Damien Doligez (Inria) , Christ\`ele Faure (SafeRiver) , Th\'er\`ese Hardin (UPMC) , Manuel Maarek (SafeRiver) This is my paper

classification 💻 cs.SE cs.CR

keywords securityapplicationdevelopmentexperiencefunctionallanguagetypedallowed

0 comments

read the original abstract

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.

This paper has not been read by Pith yet.

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

discussion (0)