PLAS@PLDI 2007: San Diego, California, USA

Language-based security

Analyzing information flow

Detection, declassification, and evolution

Analysis against attacks

Schloss Dagstuhl LZI