CSF 2018 : IEEE Computer Security Foundations Symposium

  in Conferences   Posted on November 26, 2017

Conference Information

Submission Deadline Monday 29 Jan 2018 Proceedings indexed by :
Conference Dates Jul 9, 2018 - Jul 12, 2018
Conference Address Oxford, United Kingdom
Conference & Submission Link http://www.cs.ox.ac.uk/conferences/csf2018/
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Guide2Research Overall Ranking: 158
Category Rankings
Computer Security and Cryptography 16
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 is an annual conference for researchers in computer security. This year CSF is organized as part of the the Federated Logic Conference (FLOC). CSF seeks papers on foundational aspects of computer security, such as formal security models, relationships between security properties and defenses, principled techniques and tools for design and analysis of security mechanisms, as well as their application to practice. While CSF welcomes submissions beyond the topics listed below, the main focus of CSF is foundational security: submissions that lack foundational aspects risk rejection.

This year, CSF will use a light form of double-blind reviewing; see below.

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

access control
anonymity and privacy
computer-aided cryptography
data and system integrity
database security
decidability and complexity
distributed systems security
electronic voting
formal methods and verification
decision theory
hardware-based security
information flow control
intrusion detection
language-based security
network security
data provenance
mobile security
security metrics
security protocols
software security
socio-technical security
trust management
usable security
web security

Special Sessions

This year, we strongly encourage papers in two foundational areas of research we would like to promote at CSF:

BLOCKCHAIN (Chair: Elaine Shi). Many challenges arise with the rapid development of the blockchain technology, including the need for formal foundations for the security and privacy of blockchains. CSF 2018 will include a special session devoted to this topic and we invite submissions on foundational work in this area. Topics include security and privacy issues, analysis and verification of existing solutions, design of new systems, but also broader foundational issues such as how blockchain mechanisms fit into larger distributed ecosystems and foundational security aspects of applications built on top of blockchain mechanisms.
COMPUTER-AIDED CRYPTOGRAPHY (Chair: Bogdan Warinschi). Modern cryptography is built on firm theoretical foundations. However, cryptography proofs are often intricate and the gap from model to code is usually large, which opens the door to bugs and vulnerabilities. Computer-aided formal methods can provide assurance of the security of cryptographic protocols, primitives and their implementations in software and hardware. We invite submissions on foundational work in this area. Topics include, but are not limited to, verification of cryptographic protocols and primitives, verification of cryptographic software and hardware, tools to automate formal verification, and formal proofs of side-channel countermeasures.

These papers will be reviewed under the supervision of the special session chairs. They will be presented at the conference, and will appear in the CSF proceedings, without any distinction from the other papers.

Proceedings will be published by the IEEE Computer Society Press and will be available at the symposium. Some small number of papers will be selected by the PC as \”Distinguished Papers\”.
Important Dates
Abstract due: January 29, 2018
Papers due: January 31, 2018
Author response period: March 14-16, 2018
Notification: March 31, 2018
Final papers due: April 30, 2018
Symposium: July 9-12, 2018

Other Conferences in United Kingdom

mmNets 2020 : ACM Workshop on Millimeter-Wave Networks and Sensing Systems

Deadline :
Fri 05 Jun 2020
Sep 25, 2020 - Sep 25, 2020 - London
United Kingdom