Experience in using a typed functional language for the development of a security application
arXiv:1404.6606v11 citations
Originality Synthesis-oriented
AI Analysis
This work addresses security application development for developers, but it is incremental as it reports on experience rather than introducing new methods.
The authors tackled the challenge of developing a secure application by using a typed functional language, resulting in a trustworthy development process that facilitated meeting security specifications.
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.