密码与信息安全实验室

    这里是上海交通大学密码与信息安全实验室，实验室负责人为刘胜利教授及韩帅副教授。我们的研究领域为公钥密码学和可证明安全，主要包括后量子密码技术以及公钥加密、数字签名、密钥协商协议等密码算法与协议的设计与证明。

    实验室成员包括指导教师2位、博士生9位，硕士生2位。我们的研究成果发表于三大密会（CRYPTO，EUROCRYPT，ASIACRYPT）及PKC，DCC，TCS，ESORICS等会议和期刊上。

Email  /  Scholar  /  DBLP  /  Office: SEIEE-3-321

实验室项目成果展示

以下收录了本实验室发表的由国家杰出青年基金（复杂网络环境下的公钥密码算法设计与证明 项目号：61925207）所支持的论文科普性成果展示，主要包括论文的研究目标、关键问题、研究内容、技术路线与研究意义。

本工作给出了首个多跳细粒度代理重加密方案，并实现了自适应HRA安全性。

我们基于同态加密与保留性质的哈希函数PPH给出了具有鲁棒性的且对诚实服务器零知识的双因子认证通用构造。

实现了首个在UC框架下基于格上、同源假设的QROM下安全的PAKE协议，实现了后量子安全性。

实现了一个目前最高效的，基于格的aPAKE编译器，通过该编译器，我们可以得到目前基于格最高效的aPAKE协议。

提出了新密码工具EEGA，并基于此实现了首个支持线性纠错的后量子安全的鲁棒可重用模糊提取器。

构造了首个支持基于椭圆曲线同源假设的rFE方案，并且能够支持线性纠错能力。

首次提出带标签的变色龙哈希函数（tCH），在标准模型下证明了其安全性，可被广泛应用于可修改区块链中。

首次提出变形AKE原语，解决了变形密码学中，隐蔽密钥共享难的问题。

提出并构造了首个可代理简洁的非交互式零知识证明方案，解决了证明者工作安全委托难的问题。

基于格上假设和同态编码、同态计算技术，首次构造了支持任意有界函数的函数承诺。

提出了目前最为高效的抗泄露数字签名与公钥加密方案，首次在sLTR模型下构造了强存在性不可伪造性的数字签名。