PLAS@PLDI 2009: Dublin, Ireland

Security in new languages

Static information flow

Theme redacted for security

Dynamic information flow and dynamic policies

a service of Schloss Dagstuhl - Leibniz Center for Informatics