PLAS@PLDI 2008: Tucson, AZ, USA

Language-based security

Software protection and verification

Program analysis for security and policy enforcement

Information-flow security

a service of Schloss Dagstuhl - Leibniz Center for Informatics