General
黄震宇 男 汉族 信息工程研究所
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 HuangParametric 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.