Finding slid pairs in trivium with MiniSat  

作　　者：ZENG Wen QI WenFeng 

机构地区：[1]Department of Applied Mathematics, Zhengzhou Information Science and Technology Institute

出　　处：《Science China(Information Sciences)》2013年第9期245-252,共8页中国科学（信息科学）（英文版）

基　　金：supported by National Natural Science Foundation of China (Grant Nos. 61070178, 60833008)

摘　　要：A pair of distinct （key, IV） is said to be slidable if they can produce two identical keystreams up to a shift. In this paper, we investigate slid pairs in Trivium. We convert the resulting nonlinear sliding equations into a SAT instance and use MiniSat, a SAT solver, to solve it. We not only find more slid pairs than previous result on slid pair in Trivium but also provide a new method which can treat higher clock-shifts and is much less time-consuming.A pair of distinct （key, IV） is said to be slidable if they can produce two identical keystreams up to a shift. In this paper, we investigate slid pairs in Trivium. We convert the resulting nonlinear sliding equations into a SAT instance and use MiniSat, a SAT solver, to solve it. We not only find more slid pairs than previous result on slid pair in Trivium but also provide a new method which can treat higher clock-shifts and is much less time-consuming.

关 键 词：eSTREAM MiniSat stream cipher SAT slid pairs trivium 

分 类 号：TN918.1[电子电信—通信与信息系统]