2024年第37届IEEE计算机安全基础研讨会 (CSF 2024)

CSF 2024将于2024年7月8日至12日在荷兰恩斯赫德屯特大学举行。研讨会将由屯特大学语义、网络安全和服务小组、代尔夫特大学网络安全小组和特温特大学网络安全研究中心联合主办。

计算机安全基础研讨会(CSF)是计算机安全领域研究人员的年度会议，旨在研究当前的安全理论、为这些理论提供背景的形式化模型以及验证安全性的技术。它创建于1988年，作为 IEEE计算机协会安全和隐私技术委员会的一个研讨会，是对唐 · 古德1986年题为《计算机安全的基础ーー我们需要一些》的文章的回应这次会议在2007年变成了一个“研讨会”，同时出台了一项开放、增加出席人数的政策。

出版：

会议论文将由 IEEE计算机协会出版社出版，并将在研讨会上提供。项目委员会将选出少量论文作为“杰出论文”。

Program Chairs：

Toby Murray，墨尔本大学

Tamara Rezk，INRIA, France

General Chairs：

Kaitai Liang，TU Delft，The Netherlands

Luca Mariot，荷兰特文特大学

Financial Chair：

Luca Vigano，英国伦敦国王学院

Publications Chair：

Marco Guarnieri，西班牙软件研究所

主题：（包括，但不限于）

访问控制

云安全

数据库安全

密码学

决策理论

分布式系统安全

电子投票

嵌入式系统安全

形式方法和核查

基于硬件的安全性

信息流控制

网络安全

机器学习的安全和隐私方面

信任管理

......

投稿指南：

在 IEEE 会议出版服务页面上，论文必须使用可用于各种文件准备系统的两栏 IEEE 会议记录风格提交。所有论文最多不超过12页，不包括参考书目和标记清楚的附录。委员会成员不需要阅读附录，因此没有附录的文件必须清晰易懂。