| Characteristic set algorithms for equation solving in finite fields XS Gao, Z Huang Journal of Symbolic Computation 47 (6), 655-679, 2012 | 58* | 2012 |
| Synthesizing Quantum Circuits of AES with Lower T-depth and Less Qubits Z Huang, S Sun Advances in Cryptology–ASIACRYPT 2022: 28th International Conference on the …, 2023 | 48 | 2023 |
| Attacking Bivium and Trivium with the characteristic set method Z Huang, D Lin International Conference on Cryptology in Africa, 77-91, 2011 | 27 | 2011 |
| A New Method for Solving Polynomial Systems with Noise over and Its Applications in Cold Boot Key Recovery Z Huang, D Lin International Conference on Selected Areas in Cryptography, 16-33, 2012 | 19 | 2012 |
| On the efficiency of solving boolean polynomial systems with the characteristic set method Z Huang, D Lin Journal of Symbolic Computation, 2019 | 14 | 2019 |
| Rational solutions of ordinary difference equations R Feng, XS Gao, Z Huang Journal of Symbolic Computation 43 (10), 746-763, 2008 | 13 | 2008 |
| Parametric equation solving and quantifier elimination in finite fields with the characteristic set method Z Huang Journal of Systems Science and Complexity 25 (4), 778-791, 2012 | 12 | 2012 |
| An improvement over the GVW algorithm for inhomogeneous polynomial systems Y Sun, Z Huang, D Wang, D Lin Finite Fields and Their Applications 41, 174-192, 2016 | 11 | 2016 |
| Solving polynomial systems with noise over F2: Revisited Z Huang, D Lin Theoretical Computer Science 676, 52-68, 2017 | 10 | 2017 |
| Optimizing the depth of quantum implementations of linear layers C Zhu, Z Huang International Conference on Information Security and Cryptology, 129-147, 2023 | 7 | 2023 |
| Speeding up the GVW algorithm via a substituting method T Li, Y Sun, Z Huang, D Wang, D Lin Journal of Systems Science and Complexity 32 (1), 205-233, 2019 | 5 | 2019 |
| On implementing the symbolic preprocessing function over Boolean polynomial rings in Gröbner basis algorithms using linear algebra Y Sun, Z Huang, D Lin, D Wang Journal of Systems Science and Complexity 29 (3), 789-804, 2016 | 5 | 2016 |
| Solving Boolean polynomial systems by parallelizing characteristic set method for cyber‐physical systems J Zhao, M Zhu, X Li, Z Huang, J Li, J Song Software: Practice and Experience, 2020 | 3 | 2020 |
| PBCS: An Efficient Parallel Characteristic Set Method for Solving Boolean Polynomial Systems J Zhao, J Song, M Zhu, J Li, Z Huang, X Li, X Ren Proceedings of the 47th International Conference on Parallel Processing, 1-10, 2018 | 2 | 2018 |
| A Characteristic Set Method for Equation Solving in Finite Fields1 XS Gao, Z Huang | 2* | |
| Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Applications in Cryptanalysis XS Gao, Z Huang arXiv preprint arXiv:1011.6505, 2010 | 1 | 2010 |
| Analyzing Boolean Functions via Solving Parametric Polynomial Systems Z Huang, Y Sun, D Lin Journal of Systems Science and Complexity, 1-17, 2020 | | 2020 |
| A Monomial-Oriented GVW for Computing Gr\" obner Bases Y Sun, D Wang, Z Huang, D Lin arXiv preprint arXiv:1410.0105, 2014 | | 2014 |
| An Efficient Algorithm for Computing Branch Gröbner Systems and Its Applications in Algebraic Cryptanalysis Y Sun, Z Huang, D Lin, D Wang Proceedings of Applications of Computer Algebra ACA 2013. Málaga, 153, 2013 | | 2013 |
| A Characteristic Set Method for Equation Solving over Finite Fields and Applications in Cryptanalysis XS Gao, Z Huang Symbolic Computation and Cryptology, 22, 2008 | | 2008 |
