Innocent Code: A Security Wake-Up Call for Web Programmers

Type-oriented construction of web user interfaces

Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming

Putting declarative programming into the web: translating curry to javascript

Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming

Vulnerabilities in e-governments

International Journal of Electronic Security and Digital Forensics

A semantic paradigm for component-based specification integrating a notion of security risk

FAST'06 Proceedings of the 4th international conference on Formal aspects in security and trust

High-level database programming in curry

PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages

An ER-based framework for declarative web programming

PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages

Adapting an existing visualization application for browser-based deployment: A case study from the Tropical Rainfall Measuring Mission

Computers & Geosciences