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 | |
Publication status | Published - 26 Apr 2014 |
Keywords
- cs.SE
- cs.CR