针对量子计算技术对传统公钥密码带来的毁灭性威胁，研究后量子公钥密码的新型设计理论与分析技术。在后量子多变量公钥密码分析中，核心问题就是使用Gröbner基求解算法来求解有限域上的非线性方程组。目前国际上最快的Gröbner基求解算法是F5算法，本团队证明了F5算法在有限步内终止，解决了F5算法的有限步终止这一公开问题。本成果发表在符号计算领域国际顶级会议ISSAC2013上。针对目前国际上效率最高的NTRU格公钥加密算法的安全性不能证明的问题，设计了可证明安全的格公钥加密算法D-NTRU，该算法被列为华为公司的山顶专利（山顶专利和普通专利的比例为千分之一）。