-
研究领域为对称密码系统的设计、可证明安全性、通用攻击(generic attack)。研究用“简单”的对象(分组密码、hash等)搭建功能复杂的系统(包括消息认证码MAC、认证加密,可调分组密码,及传统上并不被认为是对称密码系统的电路混淆、密码货币协议等)。搭建的“过程”本身需保证安全,即,实现:只要所用的分组密码、hash等是安全的,则搭建的系统就是安全可用的。(这确实没有彻底解决设计安全密码系统的问题,但它简化了问题,使可以用AES等比较可靠的密码迅速建构复杂系统)
搭建“过程”的安全性是通过数学证明的方式确立的,此研究领域故而有很强的数学性质。
所研究的内容包括但不限于以下:
1. (可调)分组密码结构的分析与可证明安全性,已研究的内容涉及经典结构Feistel等的研究与新型结构的设计,参见
https://eprint.iacr.org/2016/894(尚未发表)
https://arxiv.org/abs/1810.07428(IEEE IT, 2019)
https://eprint.iacr.org/2023/226(EUROCRYPT 2023)
2. 消息认证、加密、密码杂凑函数结构的分析、安全性证明,参见
https://eprint.iacr.org/2019/1424(FSE 2020)
https://eprint.iacr.org/2019/137(CHES 2020)
3. 更复杂的、基于对称密码学对象的密码系统的分析与安全性证明,参见
https://eprint.iacr.org/2019/1168(CRYPTO 2020)
https://eprint.iacr.org/2019/074(S&P 2020)
4. 对称密码安全性理论研究,包括抗泄露认证加密方案的定义与安全性假设、公开密钥安全性相关理论等,参见
https://eprint.iacr.org/2018/484(LATINCRYPT 2019)
https://eprint.iacr.org/2020/211(CRYPTO 2020)
与研究方向最接近的本科课程:
密码学导论、现代密码学、数字签名等课程中的可证明安全性基础部分
对有意向报考本科生的建议:对称密码的安全性证明通常需要
熟悉排列组合、概率论内容
具备数学推导的经验
有独立钻研的耐心
- Chun Guo, Ling Song. Tight CCA Security for Contracting Quasi-Feistel Ciphers. Designs, Codes and Cryptography, 2024.
- Chun Guo, Yiyuan Luo, Chenyu Xiao. Sequential Indifferentiability of 6-round Lai-Massey. Designs, Codes and Cryptography, 2024.
- 郭淳, 黄安静, 郁昱. FX密钥长度扩展构造量子Q1安全性证明. 密码学报, 2024.
- Yuqing Zhao and Chun Guo. Towards Minimizing Tweakable Blockcipher-based Generalized Feistel Networks. INDOCRYPT 2023, 2023.
- Jiayun Zhou, Guofeng Qin, Lu Li, Chun Guo and Weijia Wang. ISA Extensions of Shuffling Against Side-channel Attacks. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023.
- Kaiyi Zhang, Qingju Wang, Yu Yu, Chun Guo and Hongrui Cui. Algebraic Attacks on Round-Reduced Rain and Full AIM-III. ASIACRYPT 2023, 2023.
- Shiyao Chen, Chun Guo, Jian Guo, Li Liu, Meiqin Wang, Puwen Wei and Zeyu Xu. Related-Key Differential Cryptanalysis of GMiMC Used in Post-Quantum Signatures. ICISC 2022, 2023.
- Yuqing Zhao, Chun Guo and Weijia Wang. Towards Minimizing Non-linearity in Type-II Generalized Feistel Networks. CANS 2023, 2023.
- 暂无内容
-
代数几何码在安全多方计算中的应用研究, 国家重点研发计划 (参与)
-
统合分组密码模型及其可证明安全性, 国家自然科学基金面上项目
-
隐私保护环境下的抗泄露伪随机数生成器及其实现, 蚂蚁集团横向项目
-
对称密码可证明安全与分析的关键数学理论, 国家重点研发计划青年科学家项目
-
山东省网络空间安全技术创新中心-3, 2020/01/01-2022/12/31
-
密码学科体系及密码一级学科内涵研究, 2020/06/01-2020/10/31
-
新型分组密码结构的可证明安全性分析, 国家自然科学基金项目, 国家自然科学基金青年项目
-
认证加密方案的抗泄露安全性研究, 2020/01/01, 2020年度信息安全国家重点实验室开放课题
- 暂无内容