主讲人:Olivier Rioul
主讲人简介:Olivier Rioul法国巴黎理工学院教授
报告简介:密码学算法在当今数字社会中无处不在。即使面对未来的量子计算机，数据加密的基本原则和抗密码分析的数学技术也已相当成熟：此类最强大的攻击本质上仍是暴力破解，其所需时间甚至远超宇宙年龄。然而，真正的威胁在于算法实现容易受到侧信道攻击——攻击者通过利用敏感信息泄漏，以"分而治之"的方式还原密钥。有些攻击仅需数次查询（泄漏测量）即可得手。因此，关键问题并非"是否安全"（因为这只是时间问题），而在于"能达到多高的安全级别"，例如通过采用数据掩码等防护技术来实现。因此，我们需要建立形式化的评估体系。
本次学术报告介绍了基于α信息理论的形式化评估方法，其理论基础是Rényi α散度、α熵以及Sibson α信息。参数α可正可负，当α趋于负无穷时的极限情况与Doeblin系数这一重要概念相关，该系数可将噪声泄漏模型简化为随机探测模型。演讲者通过Fano不等式、Data Processing不等式，以及加法掩码情形下的Mrs. Gerber’s lemma，为攻击者达到特定成功率所需的最小查询次数建立下界。借助这种方法，学者可以采取防护策略实现方案的安全性。
时 间:2025年7月15日
地 点:综合大楼806
