default search action
Zhenyu Huang 0004
Person information
- affiliation: Chinese Academy of Sciences, Institute of Information Engineering, SKLOIS, Beijing, China
Other persons with the same name
- Zhenyu Huang — disambiguation page
- Zhenyu Huang 0001 (aka: Zhenyu (Henry) Huang) — Pacific Northwest National Laboratory (PNNL), Richland, WA, USA (and 4 more)
- Zhenyu Huang 0002 — Central Michigan University, College of Business Administration, Mount Pleasant, MI, USA (and 1 more)
- Zhenyu Huang 0003 — Nanjing University, Department of Mathematics, China (and 1 more)
- Zhenyu Huang 0005 — Sichuan University, College of Computer Science, Chengdu, China
- Zhenyu Huang 0006 — Shandong University of Science and Technology, College of Electrical Engineering and Automation, Qingdao, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [i7]Chengkai Zhu, Zhenyu Huang:
Optimizing the depth of quantum implementations of linear layers. IACR Cryptol. ePrint Arch. 2023: 165 (2023) - 2022
- [c5]Zhenyu Huang, Siwei Sun:
Synthesizing Quantum Circuits of AES with Lower T-depth and Less Qubits. ASIACRYPT (3) 2022: 614-644 - [c4]Chengkai Zhu, Zhenyu Huang:
Optimizing the Depth of Quantum Implementations of Linear Layers. Inscrypt 2022: 129-147 - [i6]Zhenyu Huang, Siwei Sun:
Synthesizing Quantum Circuits of AES with Lower T-depth and Less Qubits. IACR Cryptol. ePrint Arch. 2022: 620 (2022) - 2021
- [j12]Zhenyu Huang, Yao Sun, Dongdai Lin:
Analyzing Boolean Functions via Solving Parametric Polynomial Systems. J. Syst. Sci. Complex. 34(2): 792-808 (2021) - [j11]Zhenyu Huang, Yao Sun, Dongdai Lin:
On the efficiency of solving Boolean polynomial systems with the characteristic set method. J. Symb. Comput. 103: 66-94 (2021) - [j10]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): 2143-2167 (2021)
2010 – 2019
- 2019
- [j9]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): 205-233 (2019) - 2018
- [c3]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: 23:1-23:10 - 2017
- [j8]Zhenyu Huang, Dongdai Lin:
Solving polynomial systems with noise over F2: Revisited. Theor. Comput. Sci. 676: 52-68 (2017) - 2016
- [j7]Xiao-Shan Gao, Zhenyu Huang:
Solving Boolean equation systems and applications in cryptanalysis. Sci. China Inf. Sci. 59(5): 050104:1-050104:2 (2016) - [j6]Yao Sun, Zhenyu Huang, Dingkang Wang, Dongdai Lin:
An improvement over the GVW algorithm for inhomogeneous polynomial systems. Finite Fields Their Appl. 41: 174-192 (2016) - [j5]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): 789-804 (2016) - 2014
- [i5]Zhenyu Huang, Yao Sun, Dongdai Lin:
On the Efficiency of Solving Boolean Polynomial Systems with the Characteristic Set Method. CoRR abs/1405.4596 (2014) - [i4]Yao Sun, Dingkang Wang, Zhenyu Huang, Dongdai Lin:
A Monomial-Oriented GVW for Computing Gröbner Bases. CoRR abs/1410.0105 (2014) - [i3]Zhenyu Huang, Dongdai Lin:
Solving Polynomial Systems with Noise over F2: Revisited. IACR Cryptol. ePrint Arch. 2014: 962 (2014) - 2012
- [j4]Zhenyu Huang:
Parametric equation solving and quantifier elimination in finite fields with the characteristic set method. J. Syst. Sci. Complex. 25(4): 778-791 (2012) - [j3]Xiao-Shan Gao, Zhenyu Huang:
Characteristic set algorithms for equation solving in finite fields. J. Symb. Comput. 47(6): 655-679 (2012) - [c2]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: 16-33 - 2011
- [c1]Zhenyu Huang, Dongdai Lin:
Attacking Bivium and Trivium with the Characteristic Set Method. AFRICACRYPT 2011: 77-91 - 2010
- [i2]Xiao-Shan Gao, Zhenyu Huang:
Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Applications in Cryptanalysis. CoRR abs/1011.6505 (2010)
2000 – 2009
- 2009
- [i1]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: 637 (2009) - 2008
- [j2]Xiao-Shan Gao, Zhenyu Huang:
A characteristic set method for equation solving over finite fields. ACM Commun. Comput. Algebra 42(3): 149-150 (2008) - [j1]Ruyong Feng, Xiao-Shan Gao, Zhenyu Huang:
Rational solutions of ordinary difference equations. J. Symb. Comput. 43(10): 746-763 (2008)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-15 20:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint