Call for Papers

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 results in computer security are welcome. Possible topics include, but are not limited to: access control, accountability, anonymity, authentication, critical infrastructure security, cryptography, data and system integrity, database security, decidability and complexity, distributed systems, electronic voting, executable content, formal methods and verification, game theory and decision theory, hardware- based security, humans and computer security, information flow, intrusion detection, language-based security, network security, novel insights on attacks, privacy, provenance, resource usage control, security for mobile computing, security models, security protocols, software security, socio-technical security, trust management, usable security, web security.

Special Sessions (NEW)

We strongly encourage papers in three foundational areas of research not traditionally represented at CSF:

These papers will be reviewed under the supervision of expert invited session chairs. They will be presented at the conference, and will appear in the CSF proceedings without any distinction from the other papers.

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 techniques are inadequate for addressing it, and identify foundational challenges that have to be addressed to solve the problem. These papers will be presented at the conference, and will appear in the CSF proceedings without any distinction from the other papers.

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.

Invited Speakers

Alessandro Acquisti
Alessandro Acquisti
Carnegie Mellon University
Gilles Barthe
Gilles Barthe
IMDEA Software Institute
Frank Piessens
Frank Piessens
K.U. Leuven

Important dates

Abstract due:   February 4, 2014, 11:59 pm   (Eastern Standard Time)
Papers due:   February 11, 2014, 11:59 pm   (Eastern Standard Time)
Author response period:   March 20-21, 2014, ending at 11:59 pm   (Eastern Standard Time)
Panel proposals due:   March 15, 2014
Notification:   April 11, 2014
Camera ready:   May 9, 2014
Symposium:   July 19 - 22, 2014

Program Committee

pdf icon Download the PDF version