33rd IEEE Computer Security Foundations Symposium (Online)
Date: Jun 21, 2020 11:00 pm – Jun 26, 2020 11:00 am
Location: Boston, MA
COVID-19 Information
"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."
"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. 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."
Submitted by Gregory Rigby
on
COVID-19 Information
"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."
"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. 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."