[TYPES/announce] CFP: IEEE CSF 2023 - Winter Cycle (Submission Deadline: February 3, 2023)

Ralf Kuesters ralf.kuesters at sec.uni-stuttgart.de
Wed Dec 21 03:35:49 EST 2022


July 10 - 14, 2023 - Dubrovnik, Croatia



============ New CSF Mailing List (please subscribe) ================


This is the new CSF mailing list, which replaces the former list 
csf-attendees at mail-infsec.cs.uni-saarland.de.

Please subscribe to the new list to not miss out on important 
information in the field of computer security foundations.


The Computer Security Foundations Symposium (CSF) is an annual 
conference for researchers in computer security. 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 rigorous 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 and privacy. Papers lacking foundational 
aspects risk desk rejection without further evaluation of their merits; 
contact the PC chairs when in doubt.

Important Dates:

Spring cycle paper submission   	May 13, 2022
Spring cycle author notification   	July 15, 2022

Fall cycle paper submission   		September 30, 2022
Fall cycle author notification   	December 2, 2022

*Winter cycle paper submission   	February 3, 2023*
Winter cycle author notification   	April 7, 2023

CSF Symposium   			July 10-14, 2023


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
- accountability
- anonymity
- attack models
- authentication
- blockchains and smart contracts
- cloud security
- cryptography
- data provenance
- data and system integrity
- database security
- decidability and complexity
- decision theory
- distributed systems security
- electronic voting
- embedded systems security
- forensics
- formal methods and verification
- hardware-based security
- information flow control
- intrusion detection
- language-based security
- mobile security
- network security
- privacy
- 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

CSF'23 solicits systematization of knowledge (SoK) papers in 
foundational security and privacy research. These papers systematize, 
re-formulate, or evaluate existing work in one established and 
significant research topic. Such papers must provide new insights. 
Survey papers without new insights are not appropriate. Papers trying to 
identify robust foundations of research areas still lacking them are 
particularly welcome. Submissions will be distinguished by the prefix 
“SoK:” in the title and a checkbox on the submission form.


This year, we strongly encourage papers in three foundational areas of 
research we would like to promote at CSF by means of special sessions. 
Special sessions serve to identify selected research topics of 
particular interest to the community. Papers submitted to special 
sessions are expected to comply with the same requirements as other 
papers. This year, we have the following special sessions:

BLOCKCHAIN AND SMART CONTRACTS (Session Chairs: Matteo Maffei and Andrea 
Marin). Many challenges arise with the rapid development of the 
blockchain technology and its main application: smart contract. The need 
for formal foundations for the security and privacy of blockchains and 
smart contracts. 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, 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, new programming languages for 
smart contracts, and formal analysis of smart contracts.

Catuscia Palamidessi). Security and privacy systems often present 
aspects that can be better understood and formalized by means of 
quantitative notions. For example, several protocols for controlling the 
information leakage use randomized techniques to protect the secret, and 
their properties can be elegantly captured using information theory. 
Similarly, mechanisms for differential privacy protect individual data 
by adding random noise to the result of a query, and the properties are 
expressed in terms of likelihoods. We invite submission in this area. 
Topics include, but are not limited to, quantitative information flow, 
metrics for security, trust and privacy, differential privacy, and 
methods for the analysis and verification of quantitative properties. 
This special session is dedicated to the memory of our colleague 
Geoffrey Smith, whose scientific contributions to the field of 
quantitative methods for security are numerous and fundamental. Geoffrey 
passed away in 2021, but his brilliant mind, his intellectual honesty, 
and his gentleness remain an inspiration to us all.

CRYPTOGRAPHY (Session Chairs: Pascal Reisert and Peter Schwabe). 
Cryptography is at the heart of many security- and privacy-critical 
systems. As such it is an integral part of the field of security and 
privacy. While modern cryptography is built on firm theoretical 
foundations, new applications frequently need new cryptographic 
solutions, new security definitions, models, and proof techniques and 
tools. We invite submissions in this area. Topics include, but are not 
limited to, the design and analysis of cryptographic protocols, new 
cryptographic frameworks and proof techniques, including composability 
as well as automated, tool-supported analysis and verification of 
cryptographic primitives and protocols.

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 

See the conference website


for further information.

More information about the Types-announce mailing list