12th CCS 2005: Alexandria, VA, USA

Keynote address

Formal analysis of crypto protocols

Trust management

Privacy and anonymity


Access control

Key management, key exchange, & pseudo-random generation

Intrusion detection and prevention

Security for diffuse computing


Automated analysis

Attacking passwords and bringing down the network

Industry track invited talks

maintained by Schloss Dagstuhl LZI, founded at University of Trier