A characteristic set method for equation solving over finite fields. - Xiao-Shan Gao; Zhenyu Huang 004 (ACM Commun. Comput. Algebra, 2008)

Rational solutions of ordinary difference equations. - Ruyong Feng; Xiao-Shan Gao; Zhenyu Huang 004 (J. Symb. Comput., 2008)

Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Application in Analysis of Stream Ciphers. - Xiao-Shan Gao; Zhenyu Huang 004 (IACR Cryptol. ePrint Arch., 2009)

Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Applications in Cryptanalysis - Xiao-Shan Gao; Zhenyu Huang 004 (CoRR, 2010)

Attacking Bivium and Trivium with the Characteristic Set Method. - Zhenyu Huang 004; Dongdai Lin (AFRICACRYPT, 2011)

A New Method for Solving Polynomial Systems with Noise over $ mathbb{F}_2$ and Its Applications in Cold Boot Key Recovery. - Zhenyu Huang 004; Dongdai Lin (Selected Areas in Cryptography, 2012)

Parametric equation solving and quantifier elimination in finite fields with the characteristic set method. - Zhenyu Huang 004 (J. Syst. Sci. Complex., 2012)

Characteristic set algorithms for equation solving in finite fields. - Xiao-Shan Gao; Zhenyu Huang 004 (J. Symb. Comput., 2012)

A Monomial-Oriented GVW for Computing Gröbner Bases. - Yao Sun 004; Dingkang Wang; Zhenyu Huang 004; Dongdai Lin (CoRR, 2014)

Solving Boolean equation systems and applications in cryptanalysis. - Xiao-Shan Gao; Zhenyu Huang 004 (Sci. China Inf. Sci., 2016)

An improvement over the GVW algorithm for inhomogeneous polynomial systems. - Yao Sun 004; Zhenyu Huang 004; Dingkang Wang; Dongdai Lin (Finite Fields Their Appl., 2016)

On implementing the symbolic preprocessing function over Boolean polynomial rings in Gröbner basis algorithms using linear algebra. - Yao Sun 004; Zhenyu Huang 004; Dongdai Lin; Dingkang Wang (J. Syst. Sci. Complex., 2016)

Solving polynomial systems with noise over F2: Revisited. - Zhenyu Huang 004; Dongdai Lin (Theor. Comput. Sci., 2017)

PBCS: An Efficient Parallel Characteristic Set Method for Solving Boolean Polynomial Systems. - Juan Zhao 006; Junqiang Song; Min Zhu; Jincai Li; Zhenyu Huang 004; Xiaoyong Li 002; Xiaoli Ren (ICPP, 2018)

Speeding Up the GVW Algorithm via a Substituting Method. - Ting Li 023; Yao Sun 004; Zhenyu Huang 004; Dingkang Wang; Dongdai Lin (J. Syst. Sci. Complex., 2019)

Analyzing Boolean Functions via Solving Parametric Polynomial Systems. - Zhenyu Huang 004; Yao Sun 004; Dongdai Lin (J. Syst. Sci. Complex., 2021)

On the efficiency of solving Boolean polynomial systems with the characteristic set method. - Zhenyu Huang 004; Yao Sun 004; Dongdai Lin (J. Symb. Comput., 2021)

Solving Boolean polynomial systems by parallelizing characteristic set method for cyber-physical systems. - Juan Zhao 006; Min Zhu; Xiaoyong Li 002; Zhenyu Huang 004; Jincai Li; Junqiang Song (Softw. Pract. Exp., 2021)

Synthesizing Quantum Circuits of AES with Lower T-depth and Less Qubits. - Zhenyu Huang 004; Siwei Sun (IACR Cryptol. ePrint Arch., 2022)

Optimizing the depth of quantum implementations of linear layers. - Chengkai Zhu; Zhenyu Huang 004 (IACR Cryptol. ePrint Arch., 2023)

Constructing Quantum Implementations with the Minimal T-depth or Minimal Width and Their Applications. - Zhenyu Huang 004; Fuxin Zhang; Dongdai Lin (EUROCRYPT (1), 2025)