24. CSF 2011: Cernay-la-Ville, France

Security Protocol Verification I

Security Protocol Verification II

Authorization and Security Policies

Language-Based Security

Information Flow

Security Notions and Specifications

Privacy and Anonymity

maintained by Schloss Dagstuhl LZI at University of Trier