Milp-aided bit-based division prop- erty for arx-based block cipher[M]. IACR Cryptology ePrint Archive, 2016.L. Sun, W. Wang, R. Liu, and M. Wang, "MILP-aided bit-based division property for ARX ciphers," Science China Information Sciences, vol. 61, no. 11, Article ID 118102, ...
Partitioning allows to increase the correlation of the differential-linear distinguisher by deriving linear equations that hold conditioned on ciphertext and key bits. We first recall the partitioning technique as used in [20]. Let\(a,b \in \mathbb {F}_2^m\)and let\(s = a + b\). When...
Our technique is very easy to use, as it only involves writing out simple equations for every addition, rota- tion and XOR operation in the cipher, and applying an off-the-shelf SAT solver. As is commonly done for ARX ciphers, our analysis assumes that the probability of a characteristic ...
Finally, the proposed algorithm was applied to the ARX cipher SPECK, and got the best differential char-acteristics for SPECK32, SPECK48 and SPECK64. 【总页数】8页(P56-63) 【作者】刘正斌 【作者单位】中国科学院信息工程研究所信息安全国家重点实验室,北京 100093; 中国科学院大学,北京 100049 【...
The model is successfully applied to the block cipher family Speck, and distinguishers covering more rounds than previ... Y Liu,GD Witte,A Ranea,... 被引量: 1发表: 2017年 加载更多来源期刊 西安电子科技大学学报 站内活动 0关于我们 百度学术集成海量学术资源,融合人工智能、深度学习、大数据分析...
XOR操作结合了CSPRNG的状态与随机数据，这些随机数据可以从密钥、随机数或计数器等关键元素中获得。 常数加法包括加入如π或e这样著名的非理性数。这些数字因其无限不重复的小数部分而被选择，它们提供了高品质的随机性来源。 位旋转操作将常数加法的输出的位移动一个预定的量，增强了输出的不可预测性。 XCR结构产出...
Each folder for a specific cipher contains two primary files:distinguisher.mzn: The MiniZinc model for the distinguisher used in the attack. data.dzn: The data file that provides input parameters for the distinguisher model.Overall StructureBelow is the overall structure of the repository:...
We illustrate the method with the best known attack on reduced versions of the block cipher Threefish (the core of Skein). Additionally, we prove that ARX with constants are functionally complete, i.e. any function can be realized with these operations. 展开 关键词: ARX cryptanalysis ...
First, the ARX cipher needs to be implemented following ArxPy interface. There are several ARX ciphers implemented already (see the folder arxpy/primitives). To implement a new cipher, the easiest way is to take a similar cipher already implemented as a template and modify the python code dir...
The design of WARX shows that ARX primitives and random linear layer can improve the efficiency of a white-box block cipher. This article may inspire more provably secure and efficient white-box block ciphers and help to narrow the gap between provably secure white-box schemes from academia ...