您当前位置: bbin大全  >  学术讲座

讲准字【2022】第272号:全系统物联网设备固件仿真研究

发布时间:2022-10-24|浏览次数:

讲座报告主题:全系统物联网设备固件仿真研究
专家姓名:张玉清
日期:2022-10-26 时间:10:00
地点:镇江明都大饭店明都厅
主办单位:计算机科学与通信工程学院


主讲概况:张玉清,中国科学院大学教授、博士生导师,国家计算机网络入侵防范中心主任。主要从事网络攻击与防御、安全漏洞挖掘与利用、网络与系统安全方面的研究与开发工作,发表SCI/EI论文100余篇,其中有IEEE S&P、USENIX Security、ACM CCS、IEEE Transactions on Parallel and Distributed Systems (TPDS)、IEEE Transactions on Cloud Computing (TCC)、ESORICS、INFOCOM、GLOBECOM等,制定国家及行业标准7个。先后承担国家重点研发计划项目、国家自然科学基金项目、国家发改委信息安全专项、国家高科技发展计划(863)项目、中国科学院常识创新工程重要方向项目、国家242信息安全计划项目等课题。研究专长:信息安全。


主讲内容概况:传统App动态分析方法(如模糊测试)在App漏洞挖掘中发挥了巨大作用。然而由于物联网设备自身软硬件资源有限,难以在设备上进行自动化和大规模的分析。另一方面,物联网设备硬件多样性,难以有效仿真。因此,大家研究通过将设备外部输入符号化,对程序可达路径生成的约束自动化的求解外设反馈,构建外设仿真模型,并和指令动态译码技术结合CPU,设计并实现了全系统通用型、完全脱离真实环境的物联网设备固件仿真分析平台,并利用自然语言处理技术提取外部硬件常识逻辑,从而进一步提高仿真平台的准确性。


欢迎师生参加!

XML 地图 | Sitemap 地图