密码分析、计算机代数

   

083900-网络空间安全

密码理论与技术

2005-09--2010-07   中国科学院数学与系统科学研究院   理学博士
2001-09--2005-07   中国科学技术大学   理学学士

研究生

博士

   

2014-10~现在, 中国科学院信息工程研究所, 副研究员
2012-04~2014-10,中国科学院信息工程研究所, 助理研究员
2010-07~2012-04,中国科学院软件研究所, 博士后

2022-12-31-2026-12-31,中国密码学会密码数学理论专业委员会, 委员
2021-06-30-2024-06-30,中国数学会计算机数学专业委员会, 委员

密码学中的量子计算基础
量子信息与量子密码
代数密码分析
代数密码分析技术

   

   

[1] HOU Lu, HUANG Zhenyu, LV Chang. Quantum Algorithms for the Multiplication of Circulant Matrices and Vectors. Information[J]. 2024, 第 2 作者15(8)(null): 
[2] ZHU chengkai, HUANG Zhenyu. Optimizing the Depth of Quantum Implementations of Linear Layers. Inscrypt. 2023, 第 2 作者  通讯作者  null(null): 
[3] 孙壮, 黄震宇. ZUC 算法的量子电路实现. 信息安全学报[J]. 2023, 第 2 作者
[4] HUANG Zhenyu, SUN Siwei. Synthesizing Quantum Circuits of AES with Lower T-depth and Less Qubits. ASIACRYPT 2022. 2022, 第 1 作者null(null): 
[5] HUANG Zhenyu, SUN Yao, LIN Dongdai. Analyzing Boolean Functions via Solving Parametric Polynomial Systems. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2021, 第 1 作者34(2): 792-808, 
[6] Zhao, Juan, Zhu, Min, Li, Xiaoyong, Huang, Zhenyu, Li, Jincai, Song, Junqiang. Solving Boolean polynomial systems by parallelizing characteristic set method for cyber-physical systems. SOFTWARE-PRACTICE & EXPERIENCE[J]. 2021, 第 4 作者51(11): 2143-2167, 
[7] Huang, Zhenyu, Sun, Yao, Lin, Dongdai. On the efficiency of solving Boolean polynomial systems with the characteristic set method. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2021, 第 1 作者103(null): 66-94, 
[8] Li Ting, Sun Yao, Huang Zhenyu, Wang Dingkang, Lin Dongdai. Speeding Up the GVW Algorithm via a Substituting Method. JOURNAL OF SYSTEMS SCIENCE AND COMPLEXITY[J]. 2019, 第 3 作者32(1): 205-233, 
[9] Zhao, Juan, Song, Junqiang, Zhu, Min, Li, Jincai, Huang, Zhenyu, Li, Xiaoyong, Ren, Xiaoli, ACM. PBCS An Efficient Parallel Characteristic Set Method for Solving Boolean Polynomial Systems. PROCEEDINGS OF THE 47TH INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING[J]. 2018, 第 5 作者null(null): 
[10] Huang, Zhenyu, Lin, Dongdai. Solving polynomial systems with noise over F-2: Revisited. THEORETICAL COMPUTER SCIENCE[J]. 2017, 第 1 作者676(null): 52-68, 
[11] Xiaoshan GAO, Zhenyu HUANG. Solving Boolean equation systems and applications in cryptanalysis. SCIENCE CHINA Information Sciences[J]. 2016, 第 2 作者  通讯作者  59(5): 
[12] Sun Yao, Huang Zhenyu, Lin Dongdai, Wang Dingkang. On Implementing the Symbolic Preprocessing Function over Boolean Polynomial Rings in Grobner Basis Algorithms Using Linear Algebra. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2016, 第 2 作者  通讯作者  29(3): 789-804, 
[13] Sun, Yao, Huang, Zhenyu, Wang, Dingkang, Lin, Dongdai. An improvement over the GVW algorithm for inhomogeneous polynomial systems. FINITE FIELDS AND THEIR APPLICATIONS[J]. 2016, 第 2 作者  通讯作者  41(null): 174-192, 
[14] HUANG Zhenyu, Dongdai Lin. A New Method for Solving Polynomial Systems with Noise over F2 and Its Applications in Cold Boot Key Recovery. Selected Areas in Cryptography. 2013, 第 1 作者
[15] Huang, Zhenyu. Parametric equation solving and quantifier elimination in finite fields with the characteristic set method. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2012, 第 1 作者  通讯作者  25(4): 778-791, 
[16] Gao, XiaoShan, Huang, Zhenyu. Characteristic set algorithms for equation solving in finite fields. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2012, 第 2 作者  通讯作者  47(6): 655-679, 
[17] Huang Zhenyu, Lin Dongdai. Attacking bivium and trivium with the characteristic set method. LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS). 2011, 第 1 作者null(null): 77-91, 
[18] Feng, Ruyong, Gao, XiaoShan, Huang, Zhenyu. Rational solutions of ordinary difference equations. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2008, 第 3 作者43(10): 746-763, 

   

已指导学生

丁林涛  硕士研究生  085211-计算机技术  

孙迪  硕士研究生  085211-计算机技术  

孙壮  硕士研究生  083900-网络空间安全  

现指导学生

朱成开  硕士研究生  083900-网络空间安全  

白曜宁  硕士研究生  085400-电子信息