Zhenyu Huang

25 papers B 2Misc 1Journal 19Unranked 3
YearRankTypeTitle / Venue / Authors
2025 — conf
Constructing Quantum Implementations with the Minimal T-depth or Minimal Width and Their Applications.
EUROCRYPT (1)
Zhenyu Huang, Fuxin Zhang, Dongdai Lin
2023 J jnl
Optimizing the depth of quantum implementations of linear layers.
IACR Cryptol. ePrint Arch.
Chengkai Zhu, Zhenyu Huang
2022 Misc conf
Optimizing the Depth of Quantum Implementations of Linear Layers.
Inscrypt
Chengkai Zhu, Zhenyu Huang
2022 — conf
Synthesizing Quantum Circuits of AES with Lower T-depth and Less Qubits.
ASIACRYPT (3)
Zhenyu Huang, Siwei Sun
2022 J jnl
Synthesizing Quantum Circuits of AES with Lower T-depth and Less Qubits.
IACR Cryptol. ePrint Arch.
Zhenyu Huang, Siwei Sun
2021 J jnl
Analyzing Boolean Functions via Solving Parametric Polynomial Systems.
J. Syst. Sci. Complex.
Zhenyu Huang, Yao Sun, Dongdai Lin
2021 J jnl
On the efficiency of solving Boolean polynomial systems with the characteristic set method.
J. Symb. Comput.
Zhenyu Huang, Yao Sun, Dongdai Lin
2021 J jnl
Solving Boolean polynomial systems by parallelizing characteristic set method for cyber-physical systems.
Softw. Pract. Exp.
Juan Zhao, Min Zhu, Xiaoyong Li, Zhenyu Huang, Jincai Li, Junqiang Song
2019 J jnl
Speeding Up the GVW Algorithm via a Substituting Method.
J. Syst. Sci. Complex.
Ting Li, Yao Sun, Zhenyu Huang, Dingkang Wang, Dongdai Lin
2018 B conf
PBCS: An Efficient Parallel Characteristic Set Method for Solving Boolean Polynomial Systems.
ICPP
Juan Zhao, Junqiang Song, Min Zhu, Jincai Li, Zhenyu Huang, Xiaoyong Li, Xiaoli Ren
2017 J jnl
Solving polynomial systems with noise over F
Theor. Comput. Sci.
Zhenyu Huang, Dongdai Lin
2016 J jnl
An improvement over the GVW algorithm for inhomogeneous polynomial systems.
Finite Fields Their Appl.
Yao Sun, Zhenyu Huang, Dingkang Wang, Dongdai Lin
2016 J jnl
On implementing the symbolic preprocessing function over Boolean polynomial rings in Gröbner basis algorithms using linear algebra.
J. Syst. Sci. Complex.
Yao Sun, Zhenyu Huang, Dongdai Lin, Dingkang Wang
2016 J jnl
Solving Boolean equation systems and applications in cryptanalysis.
Sci. China Inf. Sci.
Xiao-Shan Gao, Zhenyu Huang
2014 J jnl
A Monomial-Oriented GVW for Computing Gröbner Bases.
CoRR
Yao Sun, Dingkang Wang, Zhenyu Huang, Dongdai Lin
2014 J jnl
On the Efficiency of Solving Boolean Polynomial Systems with the Characteristic Set Method.
CoRR
Zhenyu Huang, Yao Sun, Dongdai Lin
2014 J jnl
Solving Polynomial Systems with Noise over F
IACR Cryptol. ePrint Arch.
Zhenyu Huang, Dongdai Lin
2012 B conf
A New Method for Solving Polynomial Systems with Noise over $\mathbb{F}_2$ and Its Applications in Cold Boot Key Recovery.
Selected Areas in Cryptography
Zhenyu Huang, Dongdai Lin
2012 J jnl
Characteristic set algorithms for equation solving in finite fields.
J. Symb. Comput.
Xiao-Shan Gao, Zhenyu Huang
2012 J jnl
Parametric equation solving and quantifier elimination in finite fields with the characteristic set method.
J. Syst. Sci. Complex.
Zhenyu Huang
2011 — conf
Attacking Bivium and Trivium with the Characteristic Set Method.
AFRICACRYPT
Zhenyu Huang, Dongdai Lin
2010 J jnl
Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Applications in Cryptanalysis
CoRR
Xiao-Shan Gao, Zhenyu Huang
2009 J jnl
Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Application in Analysis of Stream Ciphers.
IACR Cryptol. ePrint Arch.
Xiao-Shan Gao, Zhenyu Huang
2008 J jnl
A characteristic set method for equation solving over finite fields.
ACM Commun. Comput. Algebra
Xiao-Shan Gao, Zhenyu Huang
2008 J jnl
Rational solutions of ordinary difference equations.
J. Symb. Comput.
Ruyong Feng, Xiao-Shan Gao, Zhenyu Huang