学术报告:Safeguarding IoT Protocols: New Challenges and Verifiable Solutions

发布人:网络空间安全学院发布时间:2021-05-13动态浏览次数:14

报告人简介:

邢璐祎,印第安纳大学布卢明顿分校助理教授,博士生导师在安全四大会议和Black Hat上发表论文20篇,并担任安全顶级会议ACM CCS和NDSS程序委员会(Program Committee)成员目前的研究兴趣包括对IoT、移动系统(iOS和Android),云平台和服务的安全分析和隐私保护研究广泛涉及协议设计和分析,程序分析,形式化验证,机器学习/ 自然语言处理等iOS和Apple系统安全科研的最早的先驱之一。他的课题组揭示了众多实际系统中根本上的设计缺陷和漏洞,区别于因程序员疏忽而导致的编程实现失误/错误。基于对系统和设计缺陷的深入理解和分析,他的课题组也开发了众多安全防护方案来保护实际系统和厂商,包括Apple,Google,Amazon / AWS,Microsoft,Samsung,IBM,Alibaba,PayPal, Firefox,腾讯等。

Abstract:The cloud-centered IoT infrastructure has emerged to help IoT manufacturers connect their devices to their users. In the infrastructure, IoT protocols determine how IoT devices communicate with users and how they are access-controlled. However, IoT protocols come with fundamental security challenges, and can hardly guide the implementation of trusted IoT systems. In this talk, I will introduce the latest security analysis on IoT protocols in the context of real-world systems, and new insights and techniques to safeguard IoT systems.

报告时间:5月17日(星期一)上午10:00—11:30

参会方式:腾讯会议

         会议ID:863 348 000

         会议密码:198866