研究领域为对称密码系统的设计、可证明安全性、通用攻击（generic attack）。研究用“简单”的对象（分组密码、hash等）搭建功能复杂的系统（包括消息认证码MAC、认证加密，可调分组密码，及传统上并不被认为是对称密码系统的电路混淆、密码货币协议等）。搭建的“过程”本身需保证安全，即，实现：只要所用的分组密码、hash等是安全的，则搭建的系统就是安全可用的。这确实没有彻底解决设计安全密码系统的问题，但它简化了问题，使可以用AES等比较可靠的密码迅速建构复杂系统。搭建“过程”的安全性是通过数学证明的方式确立的，此研究领域数学性较强。

未来4年研究计划侧重以下方向（罗列顺序随意，不体现倾向性/优先级）

1. 应用密码的抗泄露安全性分析及定义（近期工作：指导李瑞阳CCS 2024 https://eprint.iacr.org/2024/1356  ；另有领一组外国合作者进行中的研究）【适合密码背景学生】

2. 对称密码结构的自动安全性证明（近期工作：协助指导陈愈潮FSE 2026 Accepted）【需代码编写及调试能力，计算机背景学生可考虑】

3. 密码杂凑函数分析、安全性证明及自动安全性证明（近期工作：https://eprint.iacr.org/2025/1006）【密码背景、数学背景、计算机背景学生均可考虑】——【此研究方向招收博士后】

4. 对称密码结构效率上界证明（新兴研究方向，近期工作：https://eprint.iacr.org/2023/226 EUROCRYPT 2023；指导南文捷Upper Bound on Information-Theoretic Security of Permutation-Based Pseudorandom Functions EUROCRYPT 2026；指导林倬僖FSE 2026 Major Revision；）【适合数学系学生】

5. MPC与AI安全相关内容（目前主要由三学生推动）

目前没有与本研究方向严格对应的本硕课程。以下课程内容与研究方向接近：

密码学导论、现代密码学、数字签名等课程中的可证明安全性基础部分，及密码分析课程中与工作模式、杂凑函数相关的部分。