Experience in using a typed functional language for the development of a   security application
  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. 
Damien Doligez (Inria), Christ\`ele Faure (SafeRiver), Th\'er\`ese   Hardin (UPMC), Manuel Maarek (SafeRiver)
cs.SE cs.CR