CSF 2018 : IEEE Computer Security Foundations Symposium

  in Conferences   Posted on November 26, 2017

Conference Information

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

Conference Ranking & Metrics (This is a TOP Conference)

Google Scholar H5-index: 23
CORE 2017 Rating: A
Guide2Research Overall Ranking: 190
Category Rankings
Computer Security and Cryptography 16

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

APC 2019 : The IET Conference on Antennas and Propagation

Deadline :
Fri 17 May 2019
Nov 11, 2019 - Nov 12, 2019 - Birmingham
United Kingdom

PASS-ECOOP 2019 : Programming Across the System Stack

Deadline :
Mon 20 May 2019
Jul 15, 2019 - Jul 16, 2019 - London
United Kingdom

TTO 2019 : Truth and Trust Online

Deadline :
Mon 03 Jun 2019
Oct 4, 2019 - Oct 5, 2019 - London
United Kingdom

UKICER 2019 : The UK and Ireland Computing Education Research Conference

Deadline :
Fri 07 Jun 2019
Sep 5, 2019 - Sep 6, 2019 - Kent
United Kingdom