Experience in using a typed functional language for the development of a security application
Software Engineering
2014-04-29 v1 Cryptography and Security
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
Cite
@article{arxiv.1404.6606,
title = {Experience in using a typed functional language for the development of a security application},
author = {Damien Doligez and Christèle Faure and Thérèse Hardin and Manuel Maarek},
journal= {arXiv preprint arXiv:1404.6606},
year = {2014}
}
Comments
In Proceedings F-IDE 2014, arXiv:1404.5785