PLAS@PLDI 2008: Tucson, AZ, USA

Language-based security

Software protection and verification

Program analysis for security and policy enforcement

Information-flow security

maintained by Schloss Dagstuhl LZI, founded at University of Trier