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