Filters








311 Hits in 4.0 sec

Automatic Search for Linear Trails of the SPECK Family [chapter]

Yuan Yao, Bin Zhang, Wenling Wu
2015 Lecture Notes in Computer Science  
Yuan Yao, Bin Zhang, Wenling Wu Automatic Search for Linear Trails of the SPECK Family  ...  Introduction Linear Cryptanalysis Against SPECK An Implementation of Wallén's Algorithm Summary Search Linear Trails Linear Distinguishers Key Recovery Attacks Search Results SPECK-32 Rounds  ...  Linear Distinguishers  ... 
doi:10.1007/978-3-319-23318-5_9 fatcat:kfw76gbjffezxaozhh2rnhj2gu

Automatic Search of Linear Trails in ARX with Applications to SPECK and Chaskey [chapter]

Yunwen Liu, Qingju Wang, Vincent Rijmen
2016 Lecture Notes in Computer Science  
In this paper, we study linear cryptanalysis of the ARX structure by means of automatic search.  ...  We apply the method to find optimal linear trails for roundreduced versions of the block cipher SPECK and the MAC algorithm Chaskey.  ...  We would like to thank the anonymous reviewers for their valuable comments and suggestions.  ... 
doi:10.1007/978-3-319-39555-5_26 fatcat:ly5zxnbxpze6jnwzled4524y7y

Automatic Search for the Best Trails in ARX: Application to Block Cipher Speck [chapter]

Alex Biryukov, Vesselin Velichkov, Yann Le Corre
2016 Lecture Notes in Computer Science  
We propose the first adaptation of Matsui's algorithm for finding the best differential and linear trails to the class of ARX ciphers.  ...  The practical application of the new algorithm is demonstrated on reduced round variants of block ciphers from the Speck family.  ...  Acknowledgments We thank our colleagues from the Laboratory of Algorithmics, Cryptology and Security (LACS) at the University of Luxembourg for the stimulating discus-  ... 
doi:10.1007/978-3-662-52993-5_15 fatcat:y7vyfvhfuvdapmduu6sx3su42u

MILP-Based Automatic Search Algorithms for Differential and Linear Trails for Speck [chapter]

Kai Fu, Meiqin Wang, Yinghua Guo, Siwei Sun, Lei Hu
2016 Lecture Notes in Computer Science  
However, in the literature, the MILP-based automatic search algorithm for differential characteristics and linear approximations is still infeasible for block ciphers such as ARX constructions.  ...  In this paper, we propose an MILP-based method for automatic search for differential characteristics and linear approximations in ARX ciphers.  ...  s MILP-Based Automatic Search for (Related-Key) Differential and Linear Trails (Hull) Table 3 : 3 Parameters for Speck Family of Block Ciphers Variant 2n/mn Block Size 2n Word Size n Key Size mn Key  ... 
doi:10.1007/978-3-662-52993-5_14 fatcat:ddwmbwqbineelae5hkizzjpyd4

Efficient Differential Trail Searching Algorithm for ARX Block Ciphers
ARX 구조를 가지는 블록 암호에 대한 효율적인 차분 경로 자동 탐색 알고리즘

Seojin Kim, HyungChul Kang, Deukjo Hong, Jaechul Sung, Seokhie Hong
2016 Journal of the Korea Institute of Information Security and Cryptology  
In this paper, we suggest an advanced method searching for differential trails of block cipher with ARX structure.  ...  We use two techniques to optimize the automatic search algorithm of differential trails suggested by Biryukov et al. and obtain 2~3 times faster results than the previous one when implemented in block  ...  "MILP-Based Automatic Search Algorithms for Differential and Linear Trails for Speck," Fast Software Encryption- FSE. pp. 289-310, Mar. 2016. [6] Hong, Deukjo, et al.  ... 
doi:10.13089/jkiisc.2016.26.6.1421 fatcat:n2audfnsdjbphchghc6hf3plfe

Proposing an MILP-based Method for the Experimental Verification of Difference Trails [article]

Sadegh Sadeghi, Vincent Rijmen, Nasour Bagheri
2020 IACR Cryptology ePrint Archive  
Also, for compatible trails, the proposed approach can efficiently speed up the search process of finding the exact value of a weak-key from the target weakkey space.  ...  As a result, we show that some of the reported RX-trails of SIMECK and SPECK are incompatible, i.e. there are no right pairs that follow the expected propagation of the differences for the trail.  ...  As a result, we present a search strategy for the searching of related-key differential trails of SPECK family.  ... 
dblp:journals/iacr/SadeghiRB20 fatcat:acd2nr6qjjcs5fvg3lj24s42tq

Cryptanalysis of Reduced-round SPECK

Jiongjiong Ren, Shaozhen Chen
2019 IEEE Access  
SPECK, a family of lightweight block ciphers proposed by the National Security Agency (NSA), is widely used under resource constrained environment.  ...  First, we construct the satisfiability (SAT)-based model to automatically search impossible differentials and zero-correlation linear hulls and then obtain several integral distinguishers based on the  ...  [15] solved the problem of searching optimal linear trails using SAT to find optimal linear trails for reduced round of SPECK and Chaskey.  ... 
doi:10.1109/access.2019.2917015 fatcat:gf2dzy7dufcnzghjqjon4m5miu

A Survey of ARX-based Symmetric-key Primitives

Nur Fasihah Mohd Esa, Shekh Faisal Abdul Latip, Mohd Rizuan Baharon
2022 International Journal of Communication Networks and Information Security  
This paper presents a review of several block and stream ciphers based on ARX construction followed by the discussion on the security analysis of symmetric key primitives where the best attack for every  ...  We benchmark the implementation on software and hardware according to the evaluation metrics. Therefore, this paper aims at providing a reference for a better selection of ARX design strategy.  ...  This research paper is supported by Short Term Grant (PJP Grant) numbered PJP/2019/FTMK(2B)/S01673 funded by the Universiti Teknikal Malaysia Melaka (UTeM), Malaysia.  ... 
doi:10.17762/ijcnis.v11i3.4258 fatcat:jg2vpgw2jndyjaogjegggawwse

Automatic Search for the Linear (Hull) Characteristics of ARX Ciphers: Applied to SPECK, SPARX, Chaskey, and CHAM-64

Mingjiang Huang, Liming Wang
2020 Security and Communication Networks  
With the combination of the optimization strategies and the branch-and-bound search algorithm, we can improve the search efficiency for linear characteristics on ARX ciphers.  ...  For SPARX variants, an 11-round linear trail and a 10-round linear hull have been found for SPARX-64 and a 10-round linear trail and a 9-round linear hull are obtained for SPARX-128.  ...  search for the optimal linear trails of ARX ciphers.  ... 
doi:10.1155/2020/4898612 fatcat:aefw3q7gpjayjaibexlj2r2jym

Further Observations on SIMON and SPECK Block Cipher Families

Seyed Dehnavi
2018 Cryptography  
By the aid of the tools given in this paper, the process of the search for linear and differential characteristics of SIMON and SPECK families of block ciphers could be sped up, and the complexity of linear  ...  In the case of SPECK, as the only nonlinear operation in this family of ciphers is addition mod 2 n , after reformulating the formula for linear and differential probabilities of addition mod 2 n , straightforward  ...  Conflicts of Interest: The author declares no conflict of interest.  ... 
doi:10.3390/cryptography3010001 fatcat:agx3d67n2vgq3iuufuzzu3mwia

Accelerating the Search of Differential and Linear Characteristics with the SAT Method

Ling Sun, Wei Wang, Meiqin Wang
2021 IACR Transactions on Symmetric Cryptology  
However, the performance of the automatic search is not always satisfactory for the search of long trails or ciphers with large state sizes.  ...  Compared with the extensive attention on the enhancement for the search with the mixed integer linear programming (MILP) method, few works care for the acceleration of the automatic search with the Boolean  ...  Acknowledgments The authors would like to thank the shepherd Stefan Kölbl and the anonymous reviewers for their valuable comments and suggestions to improve the quality of the paper.  ... 
doi:10.46586/tosc.v2021.i1.269-315 fatcat:sfdtcdt3cbhdjmoozh5qjasawy

Automatic Search for A Variant of Division Property Using Three Subsets (Full Version) [article]

Kai Hu, Meiqin Wang
2018 IACR Cryptology ePrint Archive  
In this paper, we overcome one of the two challenges, concretely, we address the problem to add new vectors into K from L in an automatic search model.  ...  Moreover, we present a new model automatically searching for a variant three-subset division property (VTDP) with STP solver.  ...  Acknowledgement The authors would like to thank Yosuke Todo for his important help to this paper.  ... 
dblp:journals/iacr/HuW18 fatcat:wuk6fm5wzzdpdgzqptlytvjv3u

Differential Analysis of Block Ciphers SIMON and SPECK [chapter]

Alex Biryukov, Arnab Roy, Vesselin Velichkov
2015 Lecture Notes in Computer Science  
We apply a recently proposed technique for automatic search for differential trails in ARX ciphers and improve the trails in Simon32 and Simon48 previously reported as best.  ...  A second major contribution of the paper is a graph based algorithm (linear time) for the computation of the exact differential probability of the main building block of Simon: an AND operation preceded  ...  We thank our colleagues from the laboratory of algorithmics, cryptology and security (LACS) at the university of Luxembourg for the useful discussions.  ... 
doi:10.1007/978-3-662-46706-0_28 fatcat:jjvylm6puzfrhejqddoifer3oy

Optimal Differential Trails in SIMON-like Ciphers

Zhengbin Liu, Yongqiang Li, Mingsheng Wang
2017 IACR Transactions on Symmetric Cryptology  
In the present paper, we propose an automatic search algorithm for optimal differential trails in SIMON-like ciphers.  ...  Based on this, we adapt Matsui's algorithm and propose an efficient algorithm for searching for optimal differential trails.  ...  Acknowledgements The authors are very grateful to Dr. Jian Guo and the anonymous reviewers for their valuable comments.  ... 
doi:10.46586/tosc.v2017.i1.358-379 fatcat:c5pnwv2d5fatjg43flkn6kil3y

Optimal Differential Trails in SIMON-like Ciphers

Zhengbin Liu, Yongqiang Li, Mingsheng Wang
2017 IACR Transactions on Symmetric Cryptology  
In the present paper, we propose an automatic search algorithm for optimal differential trails in SIMON-like ciphers.  ...  Based on this, we adapt Matsui's algorithm and propose an efficient algorithm for searching for optimal differential trails.  ...  Acknowledgements The authors are very grateful to Dr. Jian Guo and the anonymous reviewers for their valuable comments.  ... 
doi:10.13154/tosc.v2017.i1.358-379 dblp:journals/tosc/LiuLW17 fatcat:psbkfoiygberdjtzdbihh447zm
« Previous Showing results 1 — 15 out of 311 results