Link to submission website HERE.

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, such as 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. We also encourage challenge/vision papers, which may describe open questions and raise fundamental concerns about security. Possible topics for all papers include, but are not limited to:

SoK papers: Systematization of Knowledge Papers

CSF'19 solicits systematization of knowledge (SoK) papers in foundational computer security and privacy research. These papers systematize, re-formulate, or evaluate existing work in one established and significant research topic. Such papers must provide new insights. Survey papers without new insights are not appropriate. Submissions will be distinguished by the prefix “SoK:” in the title and a checkbox on the submission form. Accepted papers will be presented at the symposium and included in the proceedings.

Special Sessions

This year, we strongly encourage papers in three foundational areas of research we would like to promote at CSF:

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

Invited Speakers

Somesh Jha
Somesh Jha
University of Wisconsin
Madison, USA
Ralf Kuesters
Ralf Kuesters
University of Stuttgart
Kobbi Nissim
Kobbi Nissim
Georgetown University
Washington, USA


Proceedings will be published by the IEEE Computer Society Press and will be available at the symposium. Some small number of papers will be selected by the PC as "Distinguished Papers".

Important Dates AoE (UTC-12h)

Abstracts due:   February 22, 2019
Papers due:   February 26, 2019
Notification:   April 19, 2019
Camera ready:   May 10, 2019
CSF Symposium:   June 25-28, 2019

Program Committee

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.

Papers must be submitted using the two-column IEEE Proceedings style available for various document preparation systems at the IEEE Conference Publishing Services page. All 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.

CSF'19 will employ a light form of double-blind reviewing. Submitted papers must (a) omit any reference to the authors' names or the names of their institutions, and (b) reference the authors' own related work in the third person (e.g., not "We build on our previous work ..." but rather "We build on the work of ..."). Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). Please see the conference site for answers to frequently asked questions (FAQ) that address many common concerns. When in doubt, contact the program chairs.

Papers failing to adhere to any of the instructions above will be rejected without consideration of their merits.

Papers intended for one of the special sessions should select the "Computer-Aided Cryptography", "Blockchain and smart contract", "Machine learning meets security and privacy" option, as appropriate.

At least one co-author of each accepted paper is required to attend CSF to present the paper. In the event of difficulty in obtaining visas for travel, exceptions can be made and will be discussed on a case-by-case basis.

Submission website can be found HERE.

Program Chairs

Stephanie Delaune
Stephanie Delaune
Univ Rennes, CNRS, IRISA
Rennes, France
Limin Jia
Limin Jia
Carnegie Mellon University
Pittsburgh, PA, USA

General Chair

Dominic Duggan
Dominic Duggan
Stevens Institute of Technology,
Hoboken, NJ, USA

Financial Chair

Luca Vigano
Luca Vigano
King's College London
London, UK

Publications Chair

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

Publicity Chair

Matteo Maffei
Matteo Maffei
TU Wien,

Call For Papers (txt)