25th IEEE Computer Security Foundations Symposium - June 25 - 27, 2012 Harvard University, Cambridge MA, USA

25th IEEE Computer Security Foundations Symposium
June 25 - 27, 2012
Harvard University, Cambridge MA, USA
http://csf2012.seas.harvard.edu/

The Computer Security Foundations Symposium is an annual conference
for researchers in computer security, to examine current theories of
security, the formal models that provide a context for those theories,
and techniques for verifying security.
Topics

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, Data provenance, Decidability and
complexity, Distributed systems security, Electronic voting,
Executable content, Formal methods for security, Information flow,
Intrusion detection, Hardware-based security, Language-based security,
Network security, Resource usage control, Security for mobile
computing, Security models, Security protocols, Trust and trust
management.

While CSF welcomes submissions beyond these topics, note that the main
focus of CSF is foundational security: submissions that lack
foundational aspects risk rejection.

Proceedings, published by the IEEE Computer Society Press, will be
available at the symposium, and selected papers will be invited for
submission to the Journal of Computer Security.