PLAS 2009: Dublin, Ireland

Security in new languages

Static information flow

Theme redacted for security

Dynamic information flow and dynamic policies