微信里点“发现”,扫一下
二维码便可将本文分享至朋友圈
演讲摘要:我们从 Ateniese 等人 [EuroS&P 2017] 提出的由 CH 构造可修改区块链的方案入手,细致地分析了该方案对于 CH 抗碰撞性的需求。之后,我们定义了带标签的变色龙哈希函数(tCH)及其抗碰撞性。同时,我们以具有抗碰撞性的 tCH 为组件设计了安全的可修改区块链。最后我们给出了一个标准模型下基于格上困难问题(SIS 和 LWE)的、具有几乎紧致抗碰撞性的 tCH 方案,这也是首个满足可修改区块链安全需求的、在标准模型下构造的后量子变色龙哈希函数。我们的工作针对可修改区块链应用需求,在标准模型下给出了后量子安全的答案。
讲者简介:刘胜利,女,上海交通大学计算机系特聘教授、博士生导师。中国密码学会理事、上海市计算机学会信息安全专委会主任。在西安电子科技大学获学士、硕士和博士学位;并在荷兰爱因霍芬理工大学数学与计算机系获密码学博士学位。2002年加入上海交大,2008年评为教授;2009年入选上海市青年科技启明星计划;2019年获得国家杰出青年科学基金项目资助。目前为上海市计算机学会信息安全专委会主任、中国密码学会理事。主要研究公钥密码算法设计与证明,在抗密钥泄漏、抗密钥篡改、选择打开安全、KDM安全、紧致安全归约、以及模糊提取器的设计与证明等方面做出了重要的研究成果。研究成果发表在三大国际密码会议美密、欧密和亚密,公钥密码领域会议PKC,及其它重要国际会议和期刊上。2016年获得中国密码学会密码创新二等奖、2018年获得党政机要密码科技进步三等奖,2017、2019、2021年分别获得中国密码学会优博论文指导教师奖。荣获2020-2021年度“上海市教育系统三八红旗手”称号。2022年获得广东省自然科学奖一等奖(排名第4)。