PLAS@PLDI 2008: Tucson, AZ, USA

Refine list

showing all ?? records

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