STP models of optimal differential and linear trail for S-box based ciphers

作     者：Yu LIU Huicong LIANG Muzhou LI Luning HUANG Kai HU Chenhe YANG Meiqin WANG Yu LIU;Huicong LIANG;Muzhou LI;Luning HUANG;Kai HU;Chenhe YANG;Meiqin WANG

作者机构：Key Laboratory of Cryptologic Technology and Information Security Ministry of EducationShandong University School of Computer Engineering Weifang University 

出 版 物：《Science China(Information Sciences)》 (中国科学:信息科学(英文版))

年 卷 期：2021年第64卷第5期

页      面：221-223页

核心收录：

学科分类：07[理学] 070104[理学-应用数学] 0701[理学-数学] 

基　　金：supported by National Cryptography Development Fund (Grant No. MMJJ20170102) National Natural Science Foundation of China (Grant Nos. 61572293, 61502276, 61692276) Natural Science Foundation of Shandong Province (Grant No. ZR2016FM22) Major Scientific and Technological Innovation Projects of Shandong Province, China (Grant No. 2017CXGC0704) 

主　　题：STP Differential trail Linear trail GIFT-128 DES DESL ICEBERG ARIA SM4 

摘      要：Dear editor,SAT solvers, based on heuristic algorithms, are used to solve Boolean satisfiability (SAT) problems. Satisfiability modulo theories (SMT) problem is a decision problem concerned with the satisfiability of a logical formula; it is expressed as a combination of first-order theories.