References of "Meier, Willi"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailLinks between Division Property and Other Cube Attack Variants
Hao, Yonglin; Jiao, Lin; Li, Chaoyun et al

in IACR Transactions on Symmetric Cryptology (2020), (1),

Detailed reference viewed: 39 (4 UL)
Full Text
Peer Reviewed
See detailModeling for Three-Subset Division Property without Unknown Subset and Improved Cube Attacks
Hao, Yonglin; Leander, Gregor; Meier, Willi et al

in 39th Annual International Conference on the Theory and Applications of Cryptographic Techniques (EUROCRYPT 2020), Croatia 10-14 May 2020 (2020, January)

Detailed reference viewed: 41 (2 UL)
Full Text
Peer Reviewed
See detailImproved Division Property Based Cube Attacks Exploiting Algebraic Properties of Superpoly
Wang, Qingju UL; Hao, Honglin; Todo, Yosuke et al

in IEEE Transactions on Computers (2019), 68(10), 1470-1486

At CRYPTO 2017 and IEEE Transactions on Computers in 2018, Todo et al. proposed the division property based cube attack method making it possible to launch cube attacks with cubes of dimensions far beyond ... [more ▼]

At CRYPTO 2017 and IEEE Transactions on Computers in 2018, Todo et al. proposed the division property based cube attack method making it possible to launch cube attacks with cubes of dimensions far beyond practical reach. However, assumptions are made to validate their attacks. In this paper, we further formulate the algebraic properties of the superpoly in one framework to facilitate cube attacks in more successful applications: we propose the “flag” technique to enhance the precision of MILP models, which enable us to identify proper non-cube IV assignments; a degree evaluation algorithm is presented to upper bound the degree of the superpoly s.t. the superpoly can be recovered without constructing its whole truth table and overall complexity of the attack can be largely reduced; we provide a divide-and-conquer strategy to Trivium-like stream ciphers namely Trivium, Kreyvium, TriviA-SC1/2 so that the large scale MILP models can be split into several small solvable ones enabling us to analyze Trivium-like primitives with more than 1000 initialization rounds; finally, we provide a term enumeration algorithm for finding the monomials of the superpoly, so that the complexity of many attacks can be further reduced. We apply our techniques to attack the initialization of several ciphers namely 839-round Trivium, 891-round Kreyvium, 1009-round TriviA-SC1, 1004-round TriviA-SC2, 184-round Grain-128a and 750-round Acorn respectively. [less ▲]

Detailed reference viewed: 69 (3 UL)
Full Text
Peer Reviewed
See detailImproved Division Property Based Cube Attacks Exploiting Algebraic Properties of Superpoly
Wang, Qingju UL; Hao, Yonglin; Todo, Yosuke et al

in 38th Annual International Cryptology Conference (CRYPTO 2018), Santa Barbara 19-23 Aug 2018 (2018, April 29)

Detailed reference viewed: 91 (7 UL)