CSF 2022 will be hosted at the Technion in Haifa, Israel as part of the Federated Logic Conference (FLOC 2022) during 7 – 10 August 2022, with affiliated workshops on August 11 and 12. CSF 2022 registration is now open on the FLOC website!

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)

Spring cycle paper submission   May 14th, 2021
Spring cycle author notification   July 16th, 2021
Fall cycle paper submission   October 1st, 2021
Fall cycle author notification   December 7th, 2021
Winter cycle paper submission   early February, 2022
Winter cycle author notification   mid April, 2022
CSF Symposium   August, 2022

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