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

Damien Doligez, Christèle Faure, Thérèse Hardin, Manuel Maarek

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

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.
Original languageEnglish
Title of host publicationElectronic Proceedings in Theoretical Computer Science
DOIs
Publication statusPublished - 26 Apr 2014

Keywords

  • cs.SE
  • cs.CR

Fingerprint Dive into the research topics of 'Experience in using a typed functional language for the development of a security application'. Together they form a unique fingerprint.

Cite this