1、计算机安全、可靠性与安全性会议及DeepCert方法介绍

计算机安全、可靠性与安全性会议及DeepCert方法介绍

1. 会议概况

2021年9月8 - 10日举办了一场关于计算机安全、可靠性与安全性的国际会议。由于新冠疫情的持续影响，此次会议采用了线上线下相结合的混合模式。该会议系列始于1979年，由欧洲工业计算机系统研讨会的可靠性、安全与保障技术委员会（EWICS TC7）创立，多年来为可靠计算机系统及其在安全关键和安全关键系统中的应用发展做出了贡献。会议涵盖了可靠系统的各个领域，近年来，包含机器学习模型的自主系统相关话题愈发重要，本次会议的主题便是“安全的人机 - 机器人与自主系统交互”。

1.1 会议组织与评审

国际程序委员会由来自18个国家的51名成员组成。评审过程严谨且采用单盲评审方式，每篇稿件至少由三名独立评审员评审。在淘汰了超出会议范围或不符合基本格式要求的论文后，76篇投稿进行了同行评审，最终17篇稿件被选中进行展示并收录在会议论文集中，录用率为22%。

1.2 主题演讲

会议设有三场精彩的主题演讲：
- 美国加州大学洛杉矶分校（UCLA）的Adnan Darwiche教授探讨了“用知识和推理赋能数据”。
- 英国南安普顿大学的Neville Stanton教授发表了关于“驾驶员对自动驾驶车辆的反应”的富有启发性的演讲。
- 英国牛津大学的Sadie Creese教授与听众分享了“保护机器学习/人工智能系统的网络安全框架的思考”。

1.3 工作坊

和往年一样，会议采用单轨制，便于参会者参加所有会议环节，并在休息和社交活动期间进行交流。会议前还举办了为期一天的主题工作坊，今年共有五个工作坊：