• 分类3000+
  • 产品3000+
  • 服务3000+
  • 厂商3000+
  • 用户3000+
  • 数字化疑难问题
    大家一起去解决
教育数字化知识图谱

登录查询教育数字化知识信息

点击刷新

打开微信扫一扫

海贝达科技(北京)有限公司 教育数字化知识图谱

资讯

共计45759条
首页 资讯 中国科学技术大学熊焰教授应邀来校开展学术讲座

中国科学技术大学熊焰教授应邀来校开展学术讲座

类型:新闻动态 来源：安徽信息工程学院智慧校园办公室 2025-02-19
关联： 安徽信息工程学院 收藏

本网讯 2月18日，在博学楼A3W301会议室，中国科学技术大学知名教授熊焰应邀来我校开展了一场题为“网络安全协议自动形式化验证系统”的精彩报告。本次报告由副校长李震主持，计算机（大数据）学院副院长（主持工作）戴平、朱洪军、吴锦华及部分骨干教师和学生代表参与了此次活动。


图片1.png

（图为李震致辞）


在报告会上，熊焰教授首先深入剖析了网络协议所面临的安全威胁，以及形式化验证的基本概念和方法。他随后详细介绍了自己团队自主研发的网络安全协议通用全自动形式化验证系统——SmartVerif。该系统在网络安全协议验证领域具有显著的创新性和实用性。熊焰教授还进一步阐述了SmartVerif系统在区块链技术中的应用，以及协议侧信道安全威胁的防范策略。他还分享了关于芯片及软件自动形式化验证的最新研究成果和技术进展。


图片2.png

（图为熊焰作专题报告）


此次报告会不仅为我校师生提供了一个近距离接触和学习前沿科技的机会，进一步拓宽了学术视野，也加强了我校与中国科学技术大学等国内顶尖高校之间的学术交流与合作，为推动我校学科专业建设的发展注入了新的活力。

海贝达科技(北京)有限公司 教育数字化知识图谱

微信公众号

咨询顾问

Copyright@2024 EduDigital123.COM 教育数字化知识图谱
京公网安备11011502038001 京ICP备2024042673号-3