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

doi:10.4204/EPTCS.149.6

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 proceeding › Conference 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 language	English
Title of host publication	Electronic Proceedings in Theoretical Computer Science
DOIs	https://doi.org/10.4204/EPTCS.149.6
Publication status	Published - 26 Apr 2014

Keywords

cs.SE
cs.CR

Access to Document

10.4204/EPTCS.149.6

Cite this

@inproceedings{a8b95ab674f6477b9e56ef04afe67300,

title = "Experience in using a typed functional language for the development of a security application",

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.",

keywords = "cs.SE, cs.CR",

author = "Damien Doligez and Christ{\`e}le Faure and Th{\'e}r{\`e}se Hardin and Manuel Maarek",

note = "In Proceedings F-IDE 2014, arXiv:1404.5785",

year = "2014",

month = apr,

day = "26",

doi = "10.4204/EPTCS.149.6",

language = "English",

booktitle = "Electronic Proceedings in Theoretical Computer Science",

}

TY - GEN

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

AU - Doligez, Damien

AU - Faure, Christèle

AU - Hardin, Thérèse

AU - Maarek, Manuel

N1 - In Proceedings F-IDE 2014, arXiv:1404.5785

PY - 2014/4/26

Y1 - 2014/4/26

N2 - 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.

AB - 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.

KW - cs.SE

KW - cs.CR

U2 - 10.4204/EPTCS.149.6

DO - 10.4204/EPTCS.149.6

M3 - Conference contribution

BT - Electronic Proceedings in Theoretical Computer Science

ER -

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

Abstract

Keywords

Access to Document

Fingerprint

Cite this