References & Citations
Computer Science > Software Engineering
Title: Experience in using a typed functional language for the development of a security application
(Submitted on 26 Apr 2014)
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.
Link back to: arXiv, form interface, contact.