报告简介：

本报告介绍我们近几年在密码安全的形式化分析与验证的研究计划和研究进展，报告内容涵盖对称密码算法层安全的形式化分析，密码实现层时间侧信道、功耗侧信道、缓存侧信道、故障注入等安全性的形式化验证。

报告人介绍：

宋富，中国科学院软件研究所研究员，主要研究系统与软件安全验证和测试技术、及相关逻辑和自动机理论。宋富于2013年获巴黎狄德罗大学博士学位，2013年--2016年曾在华东师范大学担任讲师和副研究员，2016年-2023年担任上海科技大学助理教授、常任副教授，研究员，博士生导师。主持和参与多项国家自然科学基金委青年、面上和重点项目，曾获上海市浦江人才和上海市晨光学者人才计划资助、2021年秋季亚马逊研究奖、入选中国电子学会2023网络空间安全优秀论文，已在国际著名会议或期刊（如IEEE S&P、USENIX Security、NDSS、OOPSLA、CAV、ESEC/FSE、ICSE、ASE、ISSTA、FM、ACM TOSEM、IEEE TSE、IEEE TDSC、I&C）发表80多篇论文。