题目：分布式算法与架构设计在物联网以及工业控制系统安全中的应用

内容简介：我们所生活的物理世界与我们所创造的数字空间正在许多维度上被迅速得融合起来。每一年，数以亿计的物件通过射频识别，传感器技术，或复杂的工业与基础设施控制系统(比如电力、交通控制系统)接入物联网。这些智能元件构成的各种规模庞大的分布式系统支持着许多可能改变我们生活的全新应用。与此同时，这些快速扩展中的分布式系统在可扩展性，可靠性，和信息与系统安全方面也给我们带来了许多全新的技术挑战。

报告中将以两组具体的研究工作介绍分布式算法与架构设计的理论与方法在应对这些挑战中可能扮演的重要角色。第一组工作将介绍如何借助通信复杂度理论来帮助设计具有高性能和高可靠性的物联网系统协议。第二组工作将以智能电网为场景，介绍智能分布式防御机制以及系统软件安全证明机制。

报告人：新加坡高级数字科学中心陈斌斌博士

报告人简介：陈斌斌博士目前在新加坡高级数字科学中心(ADSC，Advanced Digital Sciences Center)担任高级研究员(Principal Research Scientist)。ADSC是由新加坡政府支助，由美国伊利诺伊大学厄巴纳-香槟分校(University of Illinois at Urbana Champaign)在新加坡创办的计算机科研中心。他于2011年加入该中心，参与创建了该中心的信息安全团队，并领导该中心在物联网，智能电网，网络安全方面的多个科研项目。在加入该中心之前，他先后获得北京大学计算机科学与技术系学士和新加坡国立大学(National University of Singapore)计算机科学系博士学位。

陈博士的研究方向包括无线网络，分布式系统，关键基础设施的系统安全等领域。他的研究成果曾获得ACM SIGCOMM会议2010年度最佳论文奖和International Conference on Distributed Computing and Networking (ICDCN)2016年度网络领域最佳论文奖等认可。

时 间：2019年5月21日(周二)上午10：00始

地 点：南海楼338室

热烈欢迎广大师生参加!

信息科学技术学院

2019年5月16日