Registration for CSF 2020 is now open! Visit the registration page for more details.


CSF 2020 – Now Taking Place Virtually. The safety and well-being of all conference participants is our priority. After evaluating the current COVID-19 situation, the decision has been made to transform the in-person component of CSF 2020 into an all-digital conference experience – CSF 2020 will now be an online event. Therefore, CSF 2020 will no longer take place in Boston, Massachusetts and will instead take place virtually. The conference and workshop dates remain the same – June 22 to 25, 2020. Proceedings will not be cancelled, and publications will continue as planned. For questions, contact Mayank Varia.


The Computer Security Foundations Symposium (CSF) is an annual conference for researchers in computer security, to examine current theories of security, the formal models that provide a context for those theories, and techniques for verifying security. It was created in 1988 as a workshop of the IEEE Computer Society's Technical Committee on Security and Privacy, in response to a 1986 essay by Don Good entitled “The Foundations of Computer Security—We Need Some.” The meeting became a “symposium” in 2007, along with a policy for open, increased attendance. Over the past two decades, many seminal papers and techniques have been presented first at CSF. For more details on the history of the symposium, visit CSF's home.

The program includes papers, panels, and a poster session. Topics of interest include access control, information flow, covert channels, cryptographic protocols, database security, language-based security, authorization and trust, verification techniques, integrity and availability models, and broad discussions concerning the role of formal methods in computer security and the nature of foundational research in this area.

Important Dates AoE (UTC-12h)

Fall cycle submission   October 4, 2019
Fall cycle notification   December 13, 2019
Winter cycle submission   February 7, 2020
Winter cycle notification   April 17, 2020
CSF Symposium   June 22-25, 2020

Sponsored by IEEE Computer Society's Technical Commitee on Security and Privacy.

We are grateful for the support of: