CSF 2014 - 27th IEEE Computer Security Foundations Symposium (CSF)

The Computer Security Foundations Symposium is an annual conference for researchers in computer security. CSF seeks papers on foundational aspects of computer security, e.g., formal security models, relationships between security properties and defenses, principled techniques and tools for design and analysis of security mechanisms as well as their application to practice. While CSF welcomes submissions beyond the topics listed below, the main focus of CSF is foundational security: submissions that lack foundational aspects risk rejection.
Topics
New theoretical results in computer security are welcome. Possible topics include, but are not limited to:
Access control
Accountability
Anonymity and Privacy
Authentication
Cryptographic protocols
Data and system integrity
Database security
Data provenance Decidability and complexity
Distributed systems security
Electronic voting
Executable content
Formal methods for security
Game Theory and Decision Theory
Hardware-based security
Information flow Intrusion detection
Language-based security
Network security
Resource usage control
Security for mobile computing
Security models
Socio-technical security*
Trust and trust management