[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
------------------------------------------------------------------------
36th IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF) 2023
July 10 - 14, 2023 - Dubrovnik, Croatia
https://urldefense.com/v3/__https://www.ieee-security.org/TC/CSF2023/__;!!IBzWLUs!V6fyDijM3j7UYOrui5EvJawWWsDOFIo0XWoh4c8FNT-PRC1Oa1aSUvSyoMw66uP1S5SjzQmeQcj9MD5clPxnCTHCpfhRyEXJ4TXQOINJiihYI4_z5A$
------------------------------------------------------------------------
=====================================================================
============ New CSF Mailing List (please subscribe) ================
=====================================================================
https://urldefense.com/v3/__http://lists.ieee-security.org/listinfo.cgi/csf-announcements-ieee-security.org__;!!IBzWLUs!V6fyDijM3j7UYOrui5EvJawWWsDOFIo0XWoh4c8FNT-PRC1Oa1aSUvSyoMw66uP1S5SjzQmeQcj9MD5clPxnCTHCpfhRyEXJ4TXQOINJiiiq1oX-lw$
This is the new CSF mailing list, which replaces the former list
[email protected].
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
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'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.
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:
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.
QUANTITATIVE METHODS FOR SECURITY (Session Chairs: Mario Alvim and
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
papers.
See the conference website
https://urldefense.com/v3/__https://www.ieee-security.org/TC/CSF2023/__;!!IBzWLUs!V6fyDijM3j7UYOrui5EvJawWWsDOFIo0XWoh4c8FNT-PRC1Oa1aSUvSyoMw66uP1S5SjzQmeQcj9MD5clPxnCTHCpfhRyEXJ4TXQOINJiihYI4_z5A$
for further information.
