24th 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

a service of Schloss Dagstuhl - Leibniz Center for Informatics