Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator.

Damien Doligez, Christle Faure, Thrse Hardin, Manuel Maarek

Browse the full ICSE paper archive.