本网讯  3月17日下午，电子与信息工程学院邀请了中国科学技术大学熊焰教授，在学院1106会议室作题为“网络通信安全协议通用自动形式化验证系统”的学术报告。电信学院相关教师和研究生100余人参加了报告会。报告会由学院副院长谢陈磊主持。

熊焰教授深入剖析了当前网络协议面临的安全威胁，并系统介绍了形式化验证技术的基本概念及其在保障协议安全性中的核心作用。随后，分享了网络安全协议通用全自动形式化验证系统（SmartVerif）在区块链领域的创新应用实践，阐述了该系统如何有效提升区块链底层协议的安全性与可靠性，探讨了协议设计中容易被忽视的侧信道安全威胁及其相应的防范策略。最后，分享了团队在芯片及软件自动形式化验证技术方面研究成果，展望了该技术在构建未来可信赖信息基础设施中的关键意义。

此次学术报告会不仅为我院的师生提供了宝贵的学术指导，也进一步营造了浓厚的科研氛围，深化了师生对相关前沿领域的理解，为学院科研工作带来新思路和新启发。（文：朱培灵；图：刘思远；一审：杨玲 二审：谢陈磊 三审：张润梅)