PLAS@PLDI 2013: Seattle, WA, USA

Keynote address

Secure programming languages and models

Web programming and security

a service of Schloss Dagstuhl - Leibniz Center for Informatics