研究方向
- 对称密码电路优化
- 量子安全性分析
- 自动化搜索与形式化建模
山东大学 · 网络空间安全学院
陈静雯 博士研究生
研究方向为对称密码、量子安全分析与密码电路优化。关注将密码学中的安全与效率问题转化为可计算、可验证、可复现的模型与实现。
jingwenchen@mail.sdu.edu.cn教育经历
- 2021.06 · 本科毕业
- 山东大学 · 信息安全学士
- 当前 · 硕博连读
- 山东大学网络空间安全学院
论文成果
围绕量子电路综合、周期区分器搜索等方向发表研究成果。
查看论文项目实践
参与 SM4 高性能软件实现，探索密码算法在实际系统中的效率与可用性。
查看项目ABOUT
个人简介
2021 年获山东大学信息安全学士学位，现于山东大学网络空间安全学院硕博连读，导师为王美琴教授。研究方向为经典及抗量子对称密码的设计与安全分析，重点关注自动化密码分析、约束求解技术与密码算法的电路复杂度优化。
使用 SAT、SMT、MILP 等方法建立自动化模型，并结合电路正确性验证、硬件综合或软件性能测试，评估研究结果的实际效果与适用边界。
研究关键词线性层 · S 盒 · 轻量级密码 · 量子电路 · 量子分析
- 所属单位
- 山东大学网络空间安全学院
- 学术身份
- 博士研究生（硕博连读）
- 研究领域
- 密码学、量子安全、密码实现
RESEARCH
研究方向
从密码结构到电路实现，以可验证的方法连接理论与实践。
对称密码电路优化
针对 S-box 布尔电路和线性层 XOR 网络，结合启发式搜索、图重写与 MILP，优化逻辑门数、深度和硬件面积。
量子安全性分析
研究广义 Feistel、TWINE、SIMON、SIMECK 等结构的周期区分器，分析约化轮数密码在量子选择明文模型下的安全裕量。
低成本量子电路
通过 SAT / SMT 建模，搜索密码 S-box 与线性层的低成本量子实现，并验证给定资源约束下的可行性和最优性。
PUBLICATIONS
论文成果
代表性论文按正式出版年份排列，会议年份见文献信息。
-
2026出版年份
出版页面 ↗
Automated Periodic Distinguisher Search for AND-RX Ciphers
Hongyu Lu, Qun Liu, Boyun Li, Jingbo Qiao, Jingwen Chen, Meiqin Wang · Inscrypt 2025, LNCS 16408
-
2025出版年份
出版页面 ↗
Simplified Periodic Distinguishers Searching: Application to GFS-4F/2F and TWINE
Jingwen Chen, Qun Liu, Boyun Li, Jingbo Qiao, Jinliang Wang · Inscrypt 2024, LNCS 15544
-
2024出版年份
出版页面 ↗
New SAT-based Model for Quantum Circuit Decision Problem: Searching for Low-Cost Quantum Implementation
Jingwen Chen, Qun Liu, Yanhong Fan, Lixuan Wu, Boyun Li, Meiqin Wang · IACR Communications in Cryptology 1(1)
PROJECT
项目经历
SM4 高性能软件实现
围绕铜锁密码库中的 SM4 算法，开展现有实现调研、性能瓶颈分析及指令级与数据级并行优化，并设计自动化性能测试框架。
CONTACT
联系与交流
欢迎交流密码学、量子安全与密码实现相关的研究问题。