近日，软件工程学院两位博士研究生的论文同时被密码学三大旗舰会议之一的EUROCRYPT 2024接收。本届会议在全球范围内仅接收了100余篇论文。祝贺！

一、论文题目：《New Records in Collision Attacks on SHA-2》

完成人：博士三年级 李迎新

指导教师：教授 王高丽

国际标准哈希函数SHA-2作为广泛使用的算法，其安全性备受关注。在SHA-2算法的碰撞攻击中，最关键的是找到有效的碰撞差分路线。与SHA-1等哈希函数相比， SHA-2算法更复杂、不同步操作之间的依赖性更高，这使得手动推导或自动化建模推导SHA-2的碰撞差分路线很困难。

SHA-2包含SHA-256和SHA-512算法。该研究成果首次提出了基于SAT/SMT自动化建模寻找SHA-2差分路线的方法；给出了39步SHA-256的半自由起始碰撞攻击，并给出了碰撞实例，打破了Mendel等人在EUROCRYPT 2013上保持了11年的 38 步SHA-256半自由起始碰撞攻击的记录；给出了40步SHA-256/224的自由起始碰撞攻击实例，改进了FSE 2012 上发布的复杂度为2^110的40 步分析结果；给出了28步SHA-512的碰撞攻击，并给出了碰撞实例，将ASIACRYPT 2015上发布的最佳记录提高了 1 步；给出了31步SHA-512的碰撞攻击，将ASIACRYPT 2015上发布的最佳碰撞攻击结果提高了4步。

二、论文题目：《Registered Functional Encryptions from Pairings》

完成人：博士一年级 祝梓淇

指导教师：青年研究员 巩俊卿

传统的属性基加密和函数加密需要一个可信的授权中心为用户生成密钥。注册制函数加密允许用户自行生成密钥，并通过确定性的注册算法，向系统注册其公钥和函数。与传统的函数加密不同，注册制函数加密中的系统是离线的且不持有任何用户的私钥，降低了函数加密对可信中心的需求。

该研究成果提出了首个基于标准模型的注册制函数加密方案，将注册制加密的原语类型拓展到了函数加密，发展了标准模型下注册制函数加密的新框架、新模型，为函数加密的去中心化提供了新的解决方案。

内容由论文作者提供

编辑丨陈励

审核丨曹桂涛 邓玉欣 朱丹