[TYPES/announce] CFP: IEEE CSF 2022 - Fall Cycle (Submission Deadline: Oct 1st)

[Ralf Kuesters]

------------------------------------------------------------------------

IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF) 2022

https://urldefense.com/v3/__https://www.ieee-security.org/TC/CSF2022/__;!!IBzWLUs!CyF3HCqoPM2HaAMAcYA7U8LPvi_jIx1j5pDHKFx5yvHXr_6_Zob7H-P0cNA21kCFoIY5GukUL0e32A$ 

------------------------------------------------------------------------

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.

CSF 2022 continues to have rolling deadlines. Starting from CSF 2020, 
CSF has started to invite submissions three times a year: Spring 
(passed), Fall, and Winter.

Spring cycle:
May 14th, 2021: paper submission deadline
July 16th, 2021: author notification

Fall cycle:
October 1st, 2021: paper submission deadline
December 7th, 2021: author notification

Winter cycle:
February 4th, 2022: paper submission deadline
April 8th, 2022: author notification

TOPICS
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

SYSTEMATIZATION OF KNOWLEDGE PAPERS
CSF'22 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.

SPECIAL SESSIONS
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:

- MACHINE LEARNING MEETS SECURITY AND PRIVACY (Session Chair: Francesco 
Ranzato). Machine learning has revolutionized computer science. However, 
machine learning algorithms have been applied to problem domains as 
black boxes and offer little guarantees in terms of fairness and 
transparency of the results and privacy of the dataset, We invite 
submissions on foundational work in this area. Topics include security, 
privacy, and fairness issues of machine learning algorithms, reasoning 
techniques necessary to justify safety of its autonomous decisions, and 
techniques for protecting the privacy of the dataset.

- BLOCKCHAIN and SMART CONTRACT (Session Chair: Aniket Kate). 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.

- CRYPTOGRAPHY (Session Chair: Ralf Kuesters). 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 
papers.

PROGRAM CHAIRS
Stefano Calzavara (University of Venice)
David Naumann (Stevens Institute of Technology)

PROGRAM COMMITTEE
Mario Alvim (Federal University of Minas Gerais)
Myrto Arapinis (University of Edinburgh)
Owen Arden (UC Santa Cruz)
Aslan Askarov (Aarhus University)
Musard Balliu (KTH Royal Institute of Technology)
Manuel Barbosa (University of Porto)
Lennart Beringer (Princeton University)
Karthikeyan Bhargavan (INRIA)
Abhishek Bichhawat (Carnegie Mellon University)
Roberto Blanco (Max Planck Institute)
Tegan Brennan (Stevens Institute of Technology)
Yinzhi Cao (Johns Hopkins University)
Tom Chotia (University of Birmingham)
Véronique Cortier (LORIA/INRIA)
Geoffroy Couteau (CNRS IRIF)
Stéphanie Delaune (IRISA)
Francois Dupressoir (University of Bristol)
Michael Emmi (AWS)
Marc Fischlin (TU Darmstadt)
Riccardo Focardi (Ca' Foscari University)
Marco Guarnieri (IMDEA)
Joshua Guttman (MIT Lincoln Labs)
Charlie Jacomme (CISPA)
Aniket Kate (Purdue University)
Boris Kopf (Microsoft Research)
Elisavet Kozyri (Harvard University)
Robert Künnemann (CISPA)
Ralf Küsters (University of Stuttgart)
Peeter Laud (Cybernetica AS)
Giovanni Livraga (University of Milan, Statale)
Heiko Mantel (TU Darmstadt)
Sebastian Mödersheim (Technical University of Denmark)
Johannes Müller (University of Luxembourg)
Toby Murray (University of Melbourne)
Sabine Oechsner (University of Edinburgh)
Catuscia Palamidessi (INRIA)
Frank Piessens (KU Leuven)
Jonathan Protzenko (Microsoft Research)
Francesco Ranzato (University of Padua)
Aseem Rastogi (Microsoft Research India)
Andrei Sabelfeld (University of Chalmers)
Ralf Sasse (ETH Zurich)
Clara Schneidewind (Max Planck Institute)
Dominique Schröder (FAU Erlangen-Nürnberg)
Pierre-Yves Strub (École Polytechnique)
Tachio Terauchi (Waseda University)
Alwen Tiu (Australian National University)
Mayank Varia (Boston University)


-- 
Prof. Dr. Ralf Küsters
Institute of Information Security - SEC
University of Stuttgart
Universitätsstraße 38
D-70569 Stuttgart
Germany
https://urldefense.com/v3/__https://sec.uni-stuttgart.de__;!!IBzWLUs!CyF3HCqoPM2HaAMAcYA7U8LPvi_jIx1j5pDHKFx5yvHXr_6_Zob7H-P0cNA21kCFoIY5GunIigN8ow$ 
Phone: +49 (0) 711 685 88283