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: 178
Category Rankings
Computer Security and Cryptography 17

Google Scholar H5-index:
24

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.
Topics

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
accountability
anonymity and privacy
authentication
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

DPSP 2020 : 15th International Conference on Developments in Power System Protection

Deadline :
Fri 19 Jul 2019
Mar 9, 2020 - Mar 12, 2020 - Liverpool
United Kingdom

WAHC 2019 : 7th Workshop on Encrypted Computing and Applied Homomorphic Cryptography

Deadline :
Mon 22 Jul 2019
Nov 15, 2019 - Nov 15, 2019 - London
United Kingdom

Machine Learning : 6th World Machine Learning and Deep Learning Congress

Deadline :
Thu 25 Jul 2019
Oct 24, 2019 - Oct 25, 2019 - Helsinki
United Kingdom

IWAMA 2019 : 9th International Workshop of Advanced Manufacturing and Automation

Deadline :
Tue 30 Jul 2019
Nov 21, 2019 - Nov 22, 2019 - Plymouth
United Kingdom

ICIME : 2019 11th International Conference on Information Management and Engineering

Deadline :
Thu 01 Aug 2019
Sep 19, 2019 - Sep 21, 2019 - British Computer Society London office
United Kingdom