Zhenyu Huang

According to our database, Zhenyu Huang authored at least 20 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Optimizing the depth of quantum implementations of linear layers.

Chengkai Zhu, Zhenyu Huang

IACR Cryptol. ePrint Arch., 2023

2022

Synthesizing Quantum Circuits of AES with Lower T-depth and Less Qubits.

Zhenyu Huang, Siwei Sun

IACR Cryptol. ePrint Arch., 2022

2021

Solving Boolean polynomial systems by parallelizing characteristic set method for cyber-physical systems.

Juan Zhao, Min Zhu, Xiaoyong Li, Zhenyu Huang, Jincai Li, Junqiang Song

Softw. Pract. Exp., 2021

On the efficiency of solving Boolean polynomial systems with the characteristic set method.

Zhenyu Huang, Yao Sun, Dongdai Lin

J. Symb. Comput., 2021

Analyzing Boolean Functions via Solving Parametric Polynomial Systems.

Zhenyu Huang, Yao Sun, Dongdai Lin

J. Syst. Sci. Complex., 2021

2019

Speeding Up the GVW Algorithm via a Substituting Method.

Ting Li, Yao Sun, Zhenyu Huang, Dingkang Wang, Dongdai Lin

J. Syst. Sci. Complex., 2019

2018

PBCS: An Efficient Parallel Characteristic Set Method for Solving Boolean Polynomial Systems.

Juan Zhao, Junqiang Song, Min Zhu, Jincai Li, Zhenyu Huang, Xiaoyong Li, Xiaoli Ren

Proceedings of the 47th International Conference on Parallel Processing, 2018

2017

Solving polynomial systems with noise over F₂: Revisited.

Zhenyu Huang, Dongdai Lin

Theor. Comput. Sci., 2017

2016

On implementing the symbolic preprocessing function over Boolean polynomial rings in Gröbner basis algorithms using linear algebra.

Yao Sun, Zhenyu Huang, Dongdai Lin, Dingkang Wang

J. Syst. Sci. Complex., 2016

An improvement over the GVW algorithm for inhomogeneous polynomial systems.

Yao Sun, Zhenyu Huang, Dingkang Wang, Dongdai Lin

Finite Fields Their Appl., 2016

Solving Boolean equation systems and applications in cryptanalysis.

Xiao-Shan Gao, Zhenyu Huang

Sci. China Inf. Sci., 2016

2014

A Monomial-Oriented GVW for Computing Gröbner Bases.

Yao Sun, Dingkang Wang, Zhenyu Huang, Dongdai Lin

CoRR, 2014

2012

Characteristic set algorithms for equation solving in finite fields.

Xiao-Shan Gao, Zhenyu Huang

J. Symb. Comput., 2012

Parametric equation solving and quantifier elimination in finite fields with the characteristic set method.

Zhenyu Huang

J. Syst. Sci. Complex., 2012

A New Method for Solving Polynomial Systems with Noise over $\mathbb{F}_2$ and Its Applications in Cold Boot Key Recovery.

Zhenyu Huang, Dongdai Lin

Proceedings of the Selected Areas in Cryptography, 19th International Conference, 2012

2011

Attacking Bivium and Trivium with the Characteristic Set Method.

Zhenyu Huang, Dongdai Lin

Proceedings of the Progress in Cryptology - AFRICACRYPT 2011, 2011

2010

Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Applications in Cryptanalysis

Xiao-Shan Gao, Zhenyu Huang

CoRR, 2010

2009

Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Application in Analysis of Stream Ciphers.

Xiao-Shan Gao, Zhenyu Huang

IACR Cryptol. ePrint Arch., 2009

2008

Rational solutions of ordinary difference equations.

Ruyong Feng, Xiao-Shan Gao, Zhenyu Huang

J. Symb. Comput., 2008

A characteristic set method for equation solving over finite fields.

Xiao-Shan Gao, Zhenyu Huang

ACM Commun. Comput. Algebra, 2008