Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator | IEEE Conference Publication | IEEE Xplore