25th IEEE Computer Security Foundations Symposium

June 25-27, 2012
Harvard University, Cambridge MA, USA

Call for Papers and Panels

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
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.

Paper Submission Instructions

Submitted papers must not substantially overlap with papers that have
been published or that are simultaneously submitted to a journal or a
conference with published proceedings. Failure to clearly identify any
duplication or overlap with other published or submitted papers is
ground for rejection without full review.

Papers should be submitted in Portable Document Format (PDF). Papers
submitted in a proprietary word processor format such as Microsoft
Word cannot be considered. At least one coauthor of each accepted
paper is required to attend CSF to present the paper.

Papers may be submitted using the two-column IEEE Proceedings style
available for various document preparation systems at the IEEE
Conference Publishing Services page. Papers should be at most 12 pages
long, not counting bibliography and well-marked appendices.

Committee members are not required to read appendices, and so the
paper must be intelligible without them. Papers not adhering to the
page limits will be rejected without consideration of their merits.

Submit papers using the CSF 2012 submission site (online soon).

Panel Proposals

Proposals for panels are welcome. They should be no more than three
pages in length, and should include the names of possible panelists
and an indication of which of those panelists have confirmed a desire
to participate. Panel proposals should be submitted by email to the
program chairs (csf2012@seas.upenn.edu).