Query:
学者姓名:邹剑
Refining:
Year
Type
Indexed by
Source
Complex
Former Name
Co-
Language
Clean All
Abstract :
祖冲之密码算法(ZUC-128)是我国发布的商用密码算法中的序列密码算法,在4G移动通信领域发挥重要作用,本文主要研究如何以较少的量子比特实现ZUC-128算法的完整量子电路.S盒是ZUC-128算法非线性组件的重要组成部分,因此本文详细研究S盒量子电路的优化实现.32比特S盒是由4个8 × 8 S盒组成,即S=(S0,S1,S2,S3),其中S0=S2,S1=S3.首先通过穷搜剪枝的策略非就地实现了 S0;其次重点研究通过同构映射将S1的主要部分F28乘法求逆转换为F24上的乘法求逆运算,完成了只需要8个辅助量子位的S1就地实现量子电路.S1电路总共需要16个量子比特、96个Toffoli门、224个CNOT门、4个NOT门,Toffoli深度为78.最后探索出以较少的量子比特实现ZUC-128算法整个流程的量子电路构造,当工作步骤中轮数L=32时,该量子电路需要6244个量子比特、85 843个Toffoli 门、245 304 个 CNOT 门和 66 512 个 NOT 门,Toffoli 深度为 52 074.
Keyword :
ZUC-128 ZUC-128 同构映射 同构映射 量子电路 量子电路
Cite:
Copy from the list or Export to your reference management。
GB/T 7714 | 向思明 , 邹剑 , 黄倩 et al. 低量子比特条件下祖冲之密码的高效线路实现 [J]. | 密码学报(中英文) , 2025 , 12 (1) : 180-199 . |
MLA | 向思明 et al. "低量子比特条件下祖冲之密码的高效线路实现" . | 密码学报(中英文) 12 . 1 (2025) : 180-199 . |
APA | 向思明 , 邹剑 , 黄倩 , 罗宜元 , 吴文玲 . 低量子比特条件下祖冲之密码的高效线路实现 . | 密码学报(中英文) , 2025 , 12 (1) , 180-199 . |
Export to | NoteExpress RIS BibTex |
Version :
Abstract :
E2 algorithm is one of the 15 candidate algorithms in the first round of AES collection. In this paper, taking E2-128 as an example, the quantum security analysis on E2 algorithm is proposed for the first time in quantum chosen-plaintext attack setting. First, a polynomial-time distinguisher on 4-round E2-128 is constructed with 2(12.1) quantum queries by taking the properties of the internal round function into consideration. Then, by extending the distinguisher 2 rounds backward, a 6-round quantum key recovery attack is achieved with the help of Grover-meet-Simon algorithm, whose time complexities gain a factor of 2(76), where the subkey length that can be recovered is 152 bits with the occupation of 560 qubits. Furthermore, when attacking r>6 rounds, 152+(r-6)x128-bit subkey needs to be guessed in time 2(76+(r-6)x64), which is 1/2(52) of Grover's quantum brute force search. Finally, we present a quantum attack against E2-128 with 2(88.1) quantum queries by taking initial transformation and terminal transformation into consideration. The result shows that the time complexity of the quantum attack is significantly reduced, and E2 algorithm is safe enough to resist quantum attack.
Keyword :
E2 algorithm E2 algorithm Grover-meet-Simon algorithm Grover-meet-Simon algorithm Grover's algorithm Grover's algorithm Quantum cryptanalysis Quantum cryptanalysis Simon's algorithm Simon's algorithm
Cite:
Copy from the list or Export to your reference management。
GB/T 7714 | Xu, Ying , Du, Xiaoni , Jia, Meichun et al. Quantum cryptanalysis of reduced-round E2 algorithm [J]. | QUANTUM INFORMATION PROCESSING , 2025 , 24 (2) . |
MLA | Xu, Ying et al. "Quantum cryptanalysis of reduced-round E2 algorithm" . | QUANTUM INFORMATION PROCESSING 24 . 2 (2025) . |
APA | Xu, Ying , Du, Xiaoni , Jia, Meichun , Wang, Xiangyu , Zou, Jian . Quantum cryptanalysis of reduced-round E2 algorithm . | QUANTUM INFORMATION PROCESSING , 2025 , 24 (2) . |
Export to | NoteExpress RIS BibTex |
Version :
Abstract :
The Zu Chongzhi cryptographic algorithm (ZUC) is a stream cipher algorithm published in China. This paper focuses on the realization of the complete quantum circuit for the ZUC-128 algorithm with low T-depth. The S-box is a crucial component of the nonlinear aspect of the ZUC-128 algorithm. Initially, we derive the classical circuit implementations of S0 and S1 using an exhaustive pruning strategy and tower domain decomposition technology. Subsequently, we develop quantum circuits for S0 and S1 in two steps: first by reducing the AND-depth of the classical circuit, and then by ensuring that the T-depth of the quantum circuit equals the AND-depth of the classical circuit. Our new S0 and S1 quantum circuits both have a T-depth of 7. We are currently researching the quantum circuit implementation of the adder and L function in order to minimize the T-depth of the entire circuit. Finally, we propose the construction of quantum circuit to realize the whole process of ZUC-128 algorithm with low T-depth. When the number of rounds L = 32 in the working step, this quantum circuit requires 46008 qubits, 682340 T gates, 2008535 CNOT gates and 42680 NOT gates, with the T-depth of 11341, and the number of qubits multiplied by T-depth is 5.22 × 108 © 2024 Chinese Academy of Sciences. All rights reserved.
Keyword :
quantum circuit quantum circuit tower domain decomposition tower domain decomposition ZUC-128 ZUC-128
Cite:
Copy from the list or Export to your reference management。
GB/T 7714 | Zou, J. , Xiang, S. , Zou, C. et al. An efficient quantum circuit implementation of ZUC-128 cipher with low T-depth; [低T深度条件下ZUC-128的高效量子线路实现] [J]. | Scientia Sinica: Physica, Mechanica et Astronomica , 2024 , 54 (12) . |
MLA | Zou, J. et al. "An efficient quantum circuit implementation of ZUC-128 cipher with low T-depth; [低T深度条件下ZUC-128的高效量子线路实现]" . | Scientia Sinica: Physica, Mechanica et Astronomica 54 . 12 (2024) . |
APA | Zou, J. , Xiang, S. , Zou, C. , Wu, W. . An efficient quantum circuit implementation of ZUC-128 cipher with low T-depth; [低T深度条件下ZUC-128的高效量子线路实现] . | Scientia Sinica: Physica, Mechanica et Astronomica , 2024 , 54 (12) . |
Export to | NoteExpress RIS BibTex |
Version :
Abstract :
In MILCOM 2015, Kelly et al. proposed the authentication encryption algorithm MK-3, which applied the 16-bit S-box. This paper aims to implement the 16-bit S-box with less circuit area. First, we classified the irreducible polynomials over F2n\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {F}_{2<^>n}$$\end{document} into three kinds. Then we compared the logic gates required for multiplication over the finite field constructed by the three types of irreducible polynomials. According to the comparison result, we constructed the composite fields, F(24)2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {F}_{(2<^>4)<^>2}$$\end{document} and F(28)2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {F}_{(2<^>8)<^>2}$$\end{document}. Based on the isomorphism of finite fields, the operations over F216\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {F}_{2<^>{16}}$$\end{document} can be conducted over F(28)2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {F}_{(2<^>8)<^>2}$$\end{document}. Similarly, elements over F28\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {F}_{2<^>8}$$\end{document} can be mapped to the corresponding elements over F(24)2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {F}_{(2<^>4)<^>2}$$\end{document}. Next, the SAT solver was used to optimize the operations over smaller field F24\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {F}_{2<^>4}$$\end{document}. At last, the architecture of the optimized MK-3 S-box was worked out. Compared with the implementation proposed by the original designer, the circuit area of the MK-3 S-box in this paper is reduced by at least 55.9%.
Cite:
Copy from the list or Export to your reference management。
GB/T 7714 | Li, Yanjun , Zhang, Weiguo , Lin, Yiping et al. A circuit area optimization of MK-3 S-box [J]. | CYBERSECURITY , 2024 , 7 (1) . |
MLA | Li, Yanjun et al. "A circuit area optimization of MK-3 S-box" . | CYBERSECURITY 7 . 1 (2024) . |
APA | Li, Yanjun , Zhang, Weiguo , Lin, Yiping , Zou, Jian , Liu, Jian . A circuit area optimization of MK-3 S-box . | CYBERSECURITY , 2024 , 7 (1) . |
Export to | NoteExpress RIS BibTex |
Version :
Abstract :
In this paper, we present some new key-recovery attacks on Misty L-KF, Misty R-KF, and generalized Feistel schemes. Firstly, we propose a new 5-round distinguisher on Misty L-KF structure. Based on our new distinguisher attack, we propose a new6-round Demiric-Sel & ccedil;uk meet-in-the-middle attack (DS-MITM attack) against Misty L-KF structure. Secondly, we extend our classical DS-MITM attack to a new quantum DS-MITM attack on Misty L-KF structure by using the quantum claw finding algorithm. In addition, we apply the above method to attack Misty R-KF and generalized Feistel schemes. To sum up, we construct our classical key-recovery attacks on the 6-round Misty L-KF structure and Misty R-KF structure with O(2(3n/4)) time and O(2(n/2)) memory cost. By using a quantum computer, our new quantum key-recovery attacks on the 6-round Misty L-KF structures and Misty R-KF structures can be constructed with O(2n/2) time and O(2n/2) memory cost. Furthermore, we can construct our new quantum (5d-4)-round key-recovery attacks on the d-branch contracting Feistels with O(2(d-1)n/d) time and O(2(d-1)n/d) memory cost. In the end, we can construct our new quantum(4d-3)-round and (5d-4)-round key-recovery attacks on the two types of d-branch expanding Feistels with O(2(d-1)n/d) time and O(2(d-1)n/d) memory cost.
Keyword :
Cryptanalysis Cryptanalysis Generalized Feistel scheme Generalized Feistel scheme Misty structure Misty structure Quantum DS-MITM attack Quantum DS-MITM attack
Cite:
Copy from the list or Export to your reference management。
GB/T 7714 | Zou, Jian , Huang, Kairong , Zhu, Min et al. New Demiric-Selcuk meet-in-the-middle attacks on Misty and Feistel schemes [J]. | QUANTUM INFORMATION PROCESSING , 2024 , 23 (4) . |
MLA | Zou, Jian et al. "New Demiric-Selcuk meet-in-the-middle attacks on Misty and Feistel schemes" . | QUANTUM INFORMATION PROCESSING 23 . 4 (2024) . |
APA | Zou, Jian , Huang, Kairong , Zhu, Min , Zou, Hongkai , Luo, Yiyuan , Liu, Qian . New Demiric-Selcuk meet-in-the-middle attacks on Misty and Feistel schemes . | QUANTUM INFORMATION PROCESSING , 2024 , 23 (4) . |
Export to | NoteExpress RIS BibTex |
Version :
Abstract :
Currently, no efficient implementation scheme for the ZUC algorithm S-box has been found. In general, it is implemented through lookup tables, while such operation consumes a large amount of hardware resources and is not suitable for using the ZUC algorithm in limited environments. In response to these shortcomings, the complete circuit implementation of S-box of ZUC algorithm and the in-place implementation of linear transformation are raised in this study, designated to effectively reduce the resource cost of the ZUC algorithm circuit implementation. ZUC’s S-box is composed of four 8×8 S-boxes, i.e., S = (S0,S1,S2,S3), where S0 = S2, S1 = S3. Firstly, this study uses the search strategy of exhaustive pruning and the SAT-based S-box optimization technique to give the efficient implementation of three P transforms in the S0, and then obtains an S0 compact circuit implementation for the first time. Secondly, according to the algebraic expression of S1, by applying several advanced combinatorial logic minimization techniques, 720 cases of the tower field representations for inverse of F28 field under normal basis are studied, and the compact circuit implementation of S1 is obtained. Compared to previous implementation methods based on composite field, it saves 25.48% of hardware overhead. Finally, the linear transformation in ZUC algorithm is converted into matrix form, and its in-place implementation is obtained by using the heuristic algorithm of optimizing linear matrix. It reduces XOR gates by 34.77% and does not require the use of additional auxiliary bits. The research is of a positive impact on the circuit implementation of ZUC algorithm in traditional environment and quantum environment. © 2024 Chinese Association for Cryptologic Research. All rights reserved.
Keyword :
circuit implementation circuit implementation linear permutation linear permutation S-box S-box ZUC ZUC
Cite:
Copy from the list or Export to your reference management。
GB/T 7714 | Zou, J. , Huang, Q. , Wei, Z.-H. et al. Optimization of Circuit Implementation for ZUC Algorithm; [ZUC 算法的线路优化实现] [J]. | Journal of Cryptologic Research , 2024 , 11 (5) : 1108-1125 . |
MLA | Zou, J. et al. "Optimization of Circuit Implementation for ZUC Algorithm; [ZUC 算法的线路优化实现]" . | Journal of Cryptologic Research 11 . 5 (2024) : 1108-1125 . |
APA | Zou, J. , Huang, Q. , Wei, Z.-H. , Li, L.-J. , Wu, W.-L. . Optimization of Circuit Implementation for ZUC Algorithm; [ZUC 算法的线路优化实现] . | Journal of Cryptologic Research , 2024 , 11 (5) , 1108-1125 . |
Export to | NoteExpress RIS BibTex |
Version :
Abstract :
当前还未发现ZUC算法S盒的高效线路实现方案,一般以查找表的方式进行实现.该操作将消耗大量的硬件资源,非常不适用于在受限环境下使用ZUC算法.针对上述不足,本文首次给出ZUC算法S盒的完整线路实现以及线性变换的in-place实现,可以有效地降低ZUC算法线路实现的资源开销.ZUC算法中的S盒由4个大小为8×8的S盒组合而成,即S=(S0,S1,S2,S3),其中S0=S2,S1=S3.首先,使用穷举剪枝的搜索策略以及基于SAT的S盒优化技术给出S0中3个P变换的高效线路实现,进而首次得到S0的紧凑线路实现.其次,根据S1的代数表达式,通过应用几种最先进的组合逻辑最小化技术,对正规基下F28域上求逆运算的720种塔域表示进行全面的研究,得到S1的紧凑线路实现.相较于以往基于复合域的实现方法,节省了25.48%的硬件开销.最后,将ZUC算法中的线性变换转换成矩阵形式,并使用优化线性矩阵的启发式算法得到其in-place实现,减少了34.77%的XOR门数,且不需要使用额外的辅助比特.本文研究将会对传统环境下以及量子环境下ZUC算法的线路实现产生积极的影响.
Keyword :
S盒 S盒 ZUC ZUC 线性变换 线性变换 线路实现 线路实现
Cite:
Copy from the list or Export to your reference management。
GB/T 7714 | 邹剑 , 黄倩 , 魏子豪 et al. ZUC算法的线路优化实现 [J]. | 密码学报(中英文) , 2024 , 11 (5) : 1108-1125 . |
MLA | 邹剑 et al. "ZUC算法的线路优化实现" . | 密码学报(中英文) 11 . 5 (2024) : 1108-1125 . |
APA | 邹剑 , 黄倩 , 魏子豪 , 李立基 , 吴文玲 . ZUC算法的线路优化实现 . | 密码学报(中英文) , 2024 , 11 (5) , 1108-1125 . |
Export to | NoteExpress RIS BibTex |
Version :
Abstract :
In this paper, we promote Trojan message attacks against Merkle-Damg & aring;rd hash functions and their concatenation combiner in quantum settings for the first time. Two main quantum scenarios are considered, involving the scenarios where a substantial amount of cheap quantum random access memory (qRAM) is available and where qRAM is limited and expensive to access. We first discuss the construction of diamond structures and analyze the corresponding time complexity in both of these quantum scenarios. Secondly, we propose quantum versions of the generic Trojan message attacks on Merkle-Damg & aring;rd hash functions as well as their improved versions by combining with diamond structures and expandable messages, and then determine their cost. Finally, we propose Trojan message attack against Merkle-Damg & aring;rd hash concatenation combiner in quantum setting. The results show that Trojan message attacks can be improved significantly with quantum computers under both scenarios, so the security of hash constructions in classical setting requires careful re-evaluation before being deployed to the post-quantum cryptography schemes.
Keyword :
Collision attack Collision attack Herding attack Herding attack qRAM qRAM Quantum computation Quantum computation Quantum cryptography Quantum cryptography Trojan message Trojan message
Cite:
Copy from the list or Export to your reference management。
GB/T 7714 | Xu, Ying , Du, Xiaoni , Zou, Jian . Quantum security of Trojan message attacks on Merkle-Damgård hash construction [J]. | DESIGNS CODES AND CRYPTOGRAPHY , 2024 , 93 (3) : 737-768 . |
MLA | Xu, Ying et al. "Quantum security of Trojan message attacks on Merkle-Damgård hash construction" . | DESIGNS CODES AND CRYPTOGRAPHY 93 . 3 (2024) : 737-768 . |
APA | Xu, Ying , Du, Xiaoni , Zou, Jian . Quantum security of Trojan message attacks on Merkle-Damgård hash construction . | DESIGNS CODES AND CRYPTOGRAPHY , 2024 , 93 (3) , 737-768 . |
Export to | NoteExpress RIS BibTex |
Version :
Abstract :
At SAC 2021, Frixons et al. proposed quantum boomerang attacks that can effectively recover the keys of block ciphers in the quantum setting. Based on their work, we further consider how to quantize the generic boomerang attacks proposed by Biham et al. at FSE 2002, so as to obtain more generic quantum boomerang attacks. Similar to Frixons et al.’s work, we only consider quantum key recovery attacks in the single-key setting. With the help of some famous quantum algorithms, this paper presents two methods to convert the attacks of Biham et al. into some new quantum key recovery attacks. In order to proof our methods, we apply our new ideas to attack Serpent-256 and ARIA-196. To sum up, for Serpent-256, we give valid 9-round and 10-round quantum key recovery attacks respectively. The quantum time complexity of 9-round and 10-round of Serpent-256 is 2 115.43 and 2 126.6 respectively. Furthermore, we show a valid quantum key attack on 6-round ARIA-196 which has a time complexity of 2 89.8 with negligible memory. The time complexity of the above quantum attacks are better than the corresponding classical attacks and quantum generic key recovery attack via Grover’s algorithm. © 2023, The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature.
Keyword :
Block cipher Block cipher Boomerang attack Boomerang attack Key recovery attack Key recovery attack Quantum algorithm Quantum algorithm Quantum search Quantum search
Cite:
Copy from the list or Export to your reference management。
GB/T 7714 | Zou, H. , Zou, J. , Luo, Y. . New results on quantum boomerang attacks [J]. | Quantum Information Processing , 2023 , 22 (4) . |
MLA | Zou, H. et al. "New results on quantum boomerang attacks" . | Quantum Information Processing 22 . 4 (2023) . |
APA | Zou, H. , Zou, J. , Luo, Y. . New results on quantum boomerang attacks . | Quantum Information Processing , 2023 , 22 (4) . |
Export to | NoteExpress RIS BibTex |
Version :
Abstract :
The differential meet-in-the-middle (MITM) attack is a new cryptanalysis technique proposed at Crypto 2023. It has achieved good results in attacking some symmetric encryption algorithms. In this paper, we enhance the differential-meet-in-the-middle attack by utilizing MILP to construct the best differential trail for a distinguisher in the offline phase and optimizing the attack process during the online phase. This optimization leads to a reduction in the time complexity of the attack. We apply the differential meet-inthe- middle attack to 8-round FUTURE with 264data, 248 memory, 2124time complexity. Besides, our attack to the on 14-round CRAFT with 264 data, 274 memory, 2104 time complexity. As far as we know, it is the first key recovery attack to FUTURE. © 2023 ACM.
Keyword :
Cryptography Cryptography Integer programming Integer programming
Cite:
Copy from the list or Export to your reference management。
GB/T 7714 | Lin, Han , Zou, Jian , Li, Jiayin . The differential meet-in-the-middle attack on FUTURE and CRAFT [C] . 2023 : 151-158 . |
MLA | Lin, Han et al. "The differential meet-in-the-middle attack on FUTURE and CRAFT" . (2023) : 151-158 . |
APA | Lin, Han , Zou, Jian , Li, Jiayin . The differential meet-in-the-middle attack on FUTURE and CRAFT . (2023) : 151-158 . |
Export to | NoteExpress RIS BibTex |
Version :
Export
Results: |
Selected to |
Format: |