CSF 2013 Call for Papers and Panels
26th IEEE Computer Security Foundations Symposium


June 26 - 28, 2013
Tulane University, New Orleans Louisiana, USA

Invited Speakers:
- Joseph Halpern (Cornell University), joint invited talk with LICS
- Markus Jakobsson (PayPal)
- Benjamin C. Pierce (University of Pennsylvania)

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.

New theoretical results in computer security are welcome. Possible topics 
include, but are not limited to:

Access control, Accountability, 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, Game Theory and 
Decision Theory, Hardware-based security, Humans and Computer Security, 
Information flow, Intrusion detection, Language-based security, Network 
security, Resource usage control, Security for mobile computing, Security 
models, Security protocols, Socio-technical security, Trust and trust 

Challenges and Vision Papers:
We particularly encourage challenge/vision papers, which may describe open 
questions and raise fundamental concerns about practical security. 
Challenges and/or vision papers should typically identify a real world 
security problem, argue why it raises foundational issues, explain why the 
currently available and relevant foundational techniques are inadequate 
for addressing it, and identify foundational challenges that have to be 
addressed to solve the problem. These papers will appear in the CSF 
proceedings and will be presented at the conference without any 
distinction from papers that present new technical results.

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.


Abstract due: January 30, 2013, 11:59pm Eastern Standard Time
Papers due: February 6, 2013, 11:59pm Eastern Standard Time
Panel proposals due: March 15, 2013
Notification: April 5, 2013
Camera ready: April 25, 2013
Symposium: June 26 - 28, 2013
Colocated workshops: June 29 - 30, 2013


Gilles Barthe, IMDEA Software Institute, Spain
David Basin, ETH Zurich, Switzerland
Giampaolo Bella, University of Catania, Italy
James Cheney, University of Edinburgh, UK
Veronique Cortier, Loria, CNRS, France
Anupam Datta, Carnegie Mellon University, USA
Stephanie Delaune, CNRS, France
Riccardo Focardi, Ca' Foscari University of Venice, Italy
Joshua Guttman, Worcester Polytechnic Institute, USA
Limin Jia, Carnegie Mellon University, USA
Ralf Kuesters, University of Trier, Germany
Boris Koepf, IMDEA Software Institute, Spain
Matteo Maffei, Saarland University, Germany
Catuscia Palamidessi, INRIA Saclay, France
Rafael Pass, Cornell University, USA
Frank Pfenning, Carnegie Mellon University, USA
Peter Ryan, University of Luxembourg, Luxembourg
Andre Scedrov, University of Pennsylvania, USA
Graham Steel, INRIA, France


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 must be submitted using the two-column IEEE Proceedings style 
available for various document preparation systems at the IEEE Conference 
Publishing Services page. Regular papers should be at most 12 pages long, 
not counting bibliography and well-marked appendices.
Challenge/vision papers should be clearly identified and should follow the 
same format requirements as regular paper.
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.

Papers should be submitted using the CSF 2013 submission site.


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. They should be submitted by email to the program chairs.

PC Chairs
Veronique Cortier, CNRS Nancy, France
Anupam Datta, Carnegie Mellon University, USA

General Chair 
Stephen Chong, Harvard University, USA

Publications Chair
Deepak Garg, Max Planck Institute for Software Systems, Germany