
Email: huangzhenyu@iie.ac.cn
Telephone: 01082546604
Address: 北京市海淀区闵庄路甲89号中国科学院信息工程研究所
Postcode: 100093
Students
已指导学生
丁林涛 硕士研究生 085211-计算机技术
孙迪 硕士研究生 085211-计算机技术
孙壮 硕士研究生 083900-网络空间安全
朱成开 硕士研究生 083900-网络空间安全
白曜宁 硕士研究生 085400-电子信息
现指导学生
张福鑫 硕士研究生 085412-网络与信息安全
王忠凯 硕士研究生 083900-网络空间安全
黄楷 硕士研究生 085412-网络与信息安全
Selected Publicaitons
[1] Zhenyu Huang, Fuxin Zhang, Dongdai Lin: Constructing Quantum Implementation with the Minimal T-depth or Minimal Width and Their Applications. EUROCRYPT 2025.
[2] Zhenyu Huang and Siwei Sun: Synthesizing Quantum Circuits of AES with Lower T-depth and Less Qubits. ASIACRYPT 2022.
[3] Zhenyu Huang, Yao Sun and Dongdai Lin: On the efficiency of solving Boolean polynomial systems with the characteristic set method. Journal of Symbolic Computation, 2021.
[4] Zhenyu Huang and Dongdai Lin: Solving polynomial systems with noise over F2: Revisited. Theoretical Computer Science, 2017.
[5] Yao Sun, Zhenyu Huang*, Dingkang Wang, Dongdai Lin, An improvement over the GVW algorithm for inhomogeneous polynomial systems. Finite Fields and Their Applications, 2016.
[6] Zhenyu Huang, Dongdai Lin: A New Method for Solving Polynomial Systems with Noise over F2 and Its Applications in Cold Boot Key Recovery. SAC 2012.
[7] Zhenyu Huang: Parametric equation solving and quantifier elimination in finite fields with the characteristic set method. Journal of Systems Sciences and Complexity, 2012.
[8] Xiao-shan Gao, Zhenyu Huang: Characteristic Set Algorithms for Equation Solving in Finite Fields. Journal of Symbolic Computation, 2012.
[9] Zhenyu Huang, Dongdai Lin: Attacking bivium and trivium with the characteristic set method. AFRICACRYPT 2011.
[10] Ruyong Feng, Xiao-shan Gao, Zhenyu Huang: Rational solutions of ordinary difference equations. Journal of Symbolic Computationm, 2008.