20. CSF 2007: Venice, Italy

Authorization

Multi-layer protocols and key conjuring

Protocols and cryptographic foundations

Secure implementation

Information flow

Privacy

20 years anniversary session

Vulnerability analysis and information-theoretic security

Security protocol analysis

maintained by Schloss Dagstuhl LZI at University of Trier