[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
------------------------------------------------------------------------
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
