Zhenyu Huang

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 10

Top Topics

Experimental Evaluation

Boolean Functions

Top Venues

J. Syst. Sci. Complex.

IACR Cryptol. ePrint Arch.

Sci. China Inf. Sci.

Publications

Chengkai Zhu, Zhenyu Huang
Optimizing the Depth of Quantum Implementations of Linear Layers. Inscrypt (2022)
Zhenyu Huang, Yao Sun, Dongdai Lin
Analyzing Boolean Functions via Solving Parametric Polynomial Systems. J. Syst. Sci. Complex. 34 (2) (2021)
Juan Zhao, Min Zhu, Xiaoyong Li, Zhenyu Huang, Jincai Li, Junqiang Song
Solving Boolean polynomial systems by parallelizing characteristic set method for cyber-physical systems. Softw. Pract. Exp. 51 (11) (2021)
Zhenyu Huang, Yao Sun, Dongdai Lin
On the efficiency of solving Boolean polynomial systems with the characteristic set method. J. Symb. Comput. 103 (2021)
Ting Li, Yao Sun, Zhenyu Huang, Dingkang Wang, Dongdai Lin
Speeding Up the GVW Algorithm via a Substituting Method. J. Syst. Sci. Complex. 32 (1) (2019)
Juan Zhao, Junqiang Song, Min Zhu, Jincai Li, Zhenyu Huang, Xiaoyong Li, Xiaoli Ren
PBCS: An Efficient Parallel Characteristic Set Method for Solving Boolean Polynomial Systems. ICPP (2018)
Zhenyu Huang, Dongdai Lin
: Revisited. Theor. Comput. Sci. 676 (2017)
Yao Sun, Zhenyu Huang, Dingkang Wang, Dongdai Lin
An improvement over the GVW algorithm for inhomogeneous polynomial systems. Finite Fields Their Appl. 41 (2016)
Yao Sun, Zhenyu Huang, Dongdai Lin, Dingkang Wang
On implementing the symbolic preprocessing function over Boolean polynomial rings in Gröbner basis algorithms using linear algebra. J. Syst. Sci. Complex. 29 (3) (2016)
Xiao-Shan Gao, Zhenyu Huang
Solving Boolean equation systems and applications in cryptanalysis. Sci. China Inf. Sci. 59 (5) (2016)
Zhenyu Huang, Yao Sun, Dongdai Lin
On the Efficiency of Solving Boolean Polynomial Systems with the Characteristic Set Method. CoRR (2014)
Zhenyu Huang, Dongdai Lin
: Revisited. IACR Cryptol. ePrint Arch. 2014 (2014)
Yao Sun, Dingkang Wang, Zhenyu Huang, Dongdai Lin
A Monomial-Oriented GVW for Computing Gröbner Bases. CoRR (2014)
Zhenyu Huang
Parametric equation solving and quantifier elimination in finite fields with the characteristic set method. J. Syst. Sci. Complex. 25 (4) (2012)
Zhenyu Huang, Dongdai Lin
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 (2012)
Xiao-Shan Gao, Zhenyu Huang
Characteristic set algorithms for equation solving in finite fields. J. Symb. Comput. 47 (6) (2012)
Zhenyu Huang, Dongdai Lin
Attacking Bivium and Trivium with the Characteristic Set Method. AFRICACRYPT (2011)
Xiao-Shan Gao, Zhenyu Huang
Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Applications in Cryptanalysis CoRR (2010)
Xiao-Shan Gao, Zhenyu Huang
Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Application in Analysis of Stream Ciphers. IACR Cryptol. ePrint Arch. 2009 (2009)
Xiao-Shan Gao, Zhenyu Huang
A characteristic set method for equation solving over finite fields. ACM Commun. Comput. Algebra 42 (3) (2008)
Ruyong Feng, Xiao-Shan Gao, Zhenyu Huang
Rational solutions of ordinary difference equations. J. Symb. Comput. 43 (10) (2008)