2025年10月23日，数计学院翠湖学者论坛在逸夫楼511会议室成功举办。学院教师孙璞博士作题为“对称密码的安全性分析”的学术报告。此次报告吸引了近百名师生的热情参与。
孙璞老师的报告聚焦于密码分析在现代密码学中的关键作用，深入阐述了密码分析与密码算法设计之间相辅相成的紧密关系。报告系统性地梳理了当前衡量密码算法抵抗密码分析安全性的主流方法，并分析了现有评估手段的优势与局限性。
报告还重点介绍了一种由报告人提出的创新性自动化安全评估模型。该模型以专为分组密码设计的领域特定语言（EasyBC）所描述的算法为输入，通过一系列高效的预处理和新颖的建模方法，能够自动化地构建混合整数线性规划（MILP）模型。随后，模型通过自动求解器对MILP模型进行求解，从而实现对对称密码算法安全性的自动化评估。
报告结束后，与会师生纷纷表示受益匪浅，反响热烈。大家对该自动化评估模型的高效性与创新性，尤其是其将高级算法描述自动转化为数学优化问题的能力印象深刻。该模型的分析为理解复杂密码算法的安全性提供了清晰的路径和强大的工具，极大地激发了师生们对密码分析自动化、密码学前沿领域的研究兴趣与探索热情。
撰稿：王福成 审稿：陈文勇 齐平