Abstract
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.
Similar content being viewed by others
References
Robshaw M. The eSTREAM project. New stream cipher designs. LNCS, 2008, 4986: 1–6
Bard G, Courtois N, Jefferson C. Efficient methods for conversion and solution of sparse systems of low-degree multivariate polynomials over GF(2) via SAT-solvers. Cryptology ePrint Archive, Report 2007/024, 2007
Soos M, Nohl K, Castelluccia C. Extending SAT solvers to cryptographic problems. LCNS, 2009, 5584: 244–257
Soos M, Nohl K, Castelluccia C. SAT solvers in the context of stream ciphers. Presentation for Jurnées C2. 2009. http://planete.inrialpes.fr/?soos/talks/index.htmlurl
Soos M. SAT solvers in the context of cryptography. Presentation at Rennes. 2010. http://planete.inrialpes.fr/soos/talks/index.htmlurl
McDonald C, Charnes C, Pieprzyk J. http://www.ecrypt.eu.org/stream/papersdir/2007/040.pdf. Attacking Bivium with MiniSat
Mcdonald C, Charnes C, Pieprzyk J. An algebraic analysis of trivium ciphers based on the boolean satisfiability problem. http://eprint.iacr.org/2007/129.pdf
Eibach T, Pilz E, Völkel G. Attacking Bivium using SAT solvers. LNCS, 2008, 4996: 63–76
Eibach T, Pilz E, Steck S. Comparing and optimising two generic attacks on Bivium. In: Workshop on The State of the Art of Stream Ciphers (SASC2008). 2008. 57–68
Hong J. Discussion forum. Certain pairs of key-IV pairs for Trivium, created September 13, 2005 05:11PM. http://www.ecrypt.eu.org/stream/phorum/read.php? 1,152
Priemuth-Schmid D, Biryukov A. Slid pairs in Salsa20 and Trivium. LCNS, 2008, 5365: 1–14
Eén N, Sörensson N. MiniSat-a SAT solver with conflict-clause minimization. In: Proceedings of Theory and Applications of Satisfiability Testing(SAT 2005). 2005. http://www.cs.chalmers.se/Cs/Research/FormalMethods/Mini-Sat/MiniSat.htmlurl
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Zeng, W., Qi, W. Finding slid pairs in trivium with MiniSat. Sci. China Inf. Sci. 56, 1–8 (2013). https://doi.org/10.1007/s11432-012-4676-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11432-012-4676-6