25th IEEE Computer Security Foundations Symposium June 25-27, 2012 Harvard University, Cambridge MA, USA Call for Papers and Panels 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 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).