IEEE Computer Security Foundations Symposium

New theoretical results in computer security are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories. Panel proposals are sought as well as papers. Possible topics include, but are not limited to:

Access control
Anonymity and Privacy
Authentication
Data and system integrity
Database security
Decidability and complexity
Distributed systems security Electronic voting
Executable content
Formal methods for security
Information flow
Intrusion detection
Language-based security Network security
Resource usage control
Security for mobile computing
Security models
Security protocols
Trust and trust management