Automatic method for searching integral distinguishers of ARX block ciphers

Automatic method for searching integral distinguishers of ARX block ciphers

Firstly,based on three subsets division property propagation technique,the propagation function of the K-set and L-set of ARX block ciphers was constructed respectively.All vectors in L-set affected the propagation of K-set when propagate through xored round key operation.With SAT/SMT solver,round r...

Full description

Saved in:
Bibliographic Details
Main Authors: Ya HAN, Mingsheng WANG
Format: Article
Language:zho
Published: Editorial Department of Journal on Communications 2018-05-01
Series:Tongxin xuebao
Subjects:
ARX
three subsets
integral distinguishers
SAT/SMT
Online Access:http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2018081/
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2018081/

Similar Items