CSF 2020 : IEEE Computer Security Foundations Symposium

  in Conferences   Posted on September 12, 2019

Conference Information

Submission Deadline Friday 04 Oct 2019 Proceedings indexed by :
Conference Dates Jun 22, 2020 - Jun 26, 2020
Conference Address Boston, United States
Conference & Submission Link https://www.ieee-security.org/TC/CSF2020/
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Guide2Research Overall Ranking: 159
Category Rankings
Computer Security and Cryptography 15
Number of Editions: 33 ( since 1988 )
CORE 2018 Rating: A
DBPL Proceedings

Google Scholar H5-index:

Conference Call for Papers

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 for CSF 2020
Sept 16th, 2019: paper submission server opens
Oct 4th, 2019: paper submission deadline
Dec 13th, 2019: author notification

Winter cycle:
Feb 7th, 2020: paper submission deadline
April 17th, 2020: author notification

CSF symposium:
June 22-26, 2020

New results in security and privacy are welcome. We also encourage challenge/vision papers, which may describe open questions and raise fundamental concerns about security and privacy. Possible topics for all papers include, but are not limited to:

access control
attack models
blockchains and smart contracts
cloud security
data provenance
data and system integrity
database security
decidability and complexity
decision theory
distributed systems security
electronic voting
embedded systems security
formal methods and verification
hardware-based security
information flow control
intrusion detection
language-based security
mobile security
network security
security and privacy aspects of machine learning
security and privacy for the Internet of Things
security architecture
security metrics
security policies
security protocols
software security
socio-technical security
trust management
usable security
web security

Other Conferences in United States

ICCDA 2020 : The 4th International Conference on Compute and Data Analysis

Deadline :
Sat 25 Jan 2020
Mar 9, 2020 - Mar 12, 2020 - International Technological University
United States

ISSTA 2020 : International Symposium on Software Testing and Analysis

Deadline :
Mon 27 Jan 2020
Jul 18, 2020 - Jul 22, 2020 - Los Angeles
United States

HCW Workshop 2020 : 29th Heterogeneity in Computing Workshop (collocated with IPDPS 2020)

Deadline :
Mon 27 Jan 2020
May 18, 2020 - May 18, 2020 - New Orleans
United States

RSS 2020 : Robotics: Science and Systems

Deadline :
Thu 30 Jan 2020
Jul 12, 2020 - Jul 17, 2020 - Oregon State University at Corvallis
United States

HPS 2020 : IEEE Workshop on High-Performance Storage

Deadline :
Fri 31 Jan 2020
May 22, 2020 - May 22, 2020 - New Orleans
United States