IEEE Computer Society and the IEEE CSF 2020 Organizing Committee have been monitoring the developing COVID-19 situation.
The safety and well-being of all conference participants is our top priority. After studying and evaluating the announcements, guidance, and news released by relevant national departments, we are announcing that the IEEE CSF 2020, scheduled to be held in-person in Boston, MA, will now be converted into an all-digital conference experience. The dates of the conference will remain the same.
We apologize for any inconvenience this may have caused. More details regarding the conference and online registration will be available soon.
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.
|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-26, 2020|
We are grateful for the support of: