【Call for papers】CSFW-2023（CCF-B/网络与信息安全/2023年2月3日截稿）

The Computer Security Foundations Symposium (CSF) is an annual conference for researchers in computer security, to examine current theories of security, the formal models that provide a context for those theories, and techniques for verifying security. It was created in 1988 as a workshop of the IEEE Computer Society’s Technical Committee on Security and Privacy, in response to a 1986 essay by Don Good entitled “The Foundations of Computer Security—We Need Some.” The meeting became a “symposium” in 2007, along with a policy for open, increased attendance. Over the past two decades, many seminal papers and techniques have been presented first at CSF. For more details on the history of the symposium, visit CSF’s home.

1.会议信息

会议介绍： 计算机安全基础研讨会(The Computer Security Foundations Symposium, CSF)是计算机安全研究人员的年度会议，研究当前的安全理论，为这些理论提供上下文的正式模型，以及验证安全的技术。它创建于1988年，作为IEEE计算机协会安全和隐私技术委员会的一个研讨会，以回应1986年Don Good的一篇题为“计算机安全的基础——我们需要一些”的文章。2007年，会议变成了一个“研讨会”，随之而来的是一项开放、增加出席人数的政策。在过去的20年里，许多开创性的论文和技术都是在CSF首次提出的。

会议全称： IEEE Computer Security Foundations Workshop

会议网址： https://www.ieee-security.org/TC/CSF2023/index.html

会议地点： Dubrovnik, Croatia

CCF分类： B 类

Core分类： A 类

H5指数： NA

影响力值： NA

录取率： 26% (19/73)

2.时间节点

What	When
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

3.论文主题

• 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