19. CSFW 2006: Venice, Italy

Information Flow

Games, Plans, and Transformations

Access Control

Security Protocol Analysis

Language, Interaction, and Change

Language, Obfuscation, and Robustness

Authorization and Trust

Protocols and Cryptographic Foundations

maintained by Schloss Dagstuhl LZI at University of Trier