Attacking Bivium using SAT solvers

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4996 LNCS, Issue , 2008, Pages 63-76

  Eibach, Tobias ^a   Pilz, Enrico ^a   Völkel, Gunnar ^a  

^a UNIVERSITY OF ULM   (Germany)

Author keywords

Application; BDD; Bivium; Cryptography; ESTREAM; Gr bner Base; Rsat; SAT Solver; Stream Cipher; Trivium

Indexed keywords

CRYPTOGRAPHY; OPTIMIZATION; PARAMETER ESTIMATION; PROBLEM SOLVING;

ESTREAM; GRÖBNER BASE; RSAT; SAT SOLVER; STREAM CIPHER;

COMPUTER CRIME;

EID: 44649115970     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-79719-7_7     Document Type: Conference Paper

References (22)

1. eSTREAM: eSTREAM - The ECRYPT Stream Cipher Project. http://www.ecrypt. eu.org/stream/
2. NESSIE: NESSIE - New European Schemes for Signatures, Integrity and Encryption. https://www.cosic.esat.kuleuven.be/nessie/
3. De Canniére, C., Preneel, B.: TRIVIUM - a stream cipher construction inspired by block cipher design principles. eSTREAM, ECRYPT Stream Cipher Project, Report 2005/030 (2005), http://www.ecrypt.eu.org/stream/trivium. html
4. Raddum, H.: Cryptanalytic results on TRIVIUM. eSTREAM, ECRYPT Stream Cipher Project, Report 2006/039 (2006), http://www.ecrypt.eu.org/stream
5. Le Berre, D., Simon, L.: Special Volume on the SAT 2005 competitions and evaluations. Journal of Satisfiability (JSAT) (March 2006), http://www. satcompetition.org/
6. Maximov, A., Biryukov, A.: Two Trivial Attacks on Trivium. In: Selected Areas in Cryptography 2007, pp. 36-55 (2007)
7. Biryukov, A., Shamir, A.: Cryptoanalytic time/memory/data tradeoffs for stream ciphers. In: Okamoto, T. (ed.) ASIACRYPT 2000. LNCS, vol. 1976, pp. 1-13. Springer, Heidelberg (2000)
8. 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 Archiv, Report 2007/024 (2007)
9. McDonald, C., Charnes, C., Pieprzyk, J.: Attacking Bivium with MiniSat. Cryp-tology ePrint Archive, Report 2007/040 (2007)
10. DIMACS specification: http://www.satlib.org/Benchmarks/SAT/satformat.ps
11. Pipatsrisawat, K., Darwiche, A.: RSat 2.0: SAT Solver Description. Technical report D153. Automated Reasoning Group, Computer Science Department, University of California, Los Angeles (2007), http://reasoning.cs.ucla.edu/rsat/
12. Een, N., Sorensson, N.: MiniSat - A SAT Solver with Conflict-Clause Minimization. In: Bacchus, F., Walsh, T. (eds.) SAT 2005. LNCS, vol. 3569, Springer, Heidelberg (2005), http://www.cs.chalmers.se/Cs/Research/ FormalMethods/MiniSat/MiniSat.html
13. Wegener, I.: Branching Programs and Binary Decision Diagrams. SIAM Monographs on Discrete Mathematics and Applications. SIAM, Philadelphia (2000)
14. Krause, M.: BDD-Based Cryptanalysis of Keystream Generators. In: Knudsen, L.R. (ed.) EUROCRYPT 2002. LNCS, vol. 2332, pp. 237-239. Springer, Heidelberg (2002)
15. Krause, M.: OBDD-Based Cryptanalysis of Oblivious Keystream Generators. Theory of Computing Systems 40(1), 101-121 (2007)
16. Krause, M., Stegemann, D.: Reducing the space complexity of BDD-based attacks on keystream generators. In: Robshaw, M.J.B. (ed.) FSE 2006. LNCS, vol. 4047, pp. 163-178. Springer, Heidelberg (2006)
17. Stegemann, D.: Extended BDD-based Cryptanalysis of Keystream Generators. In: Proceedings of SAC 2007. LNCS, vol. 4876, pp. 17-35 (2007)
18. Somenzi, F.: CUDD, version 2.4.1, University of Colorado, http://vlsi.colorado.edu/∼fabio/CUDD/
19. Stein, W.: Sage Mathematics Software (Version 2.9.2) The SAGE Group (2007), http://www.sagemath.org.
20. Greuel, G.-M., Pfister, G., Schönemann, H.: Singular 3.0.4. A Computer Algebra System for Polynomial Computations. Centre for Computer Algebra, University of Kaiserslautern (2007), http://www.singular.uni-kl.de/
21. Buchberger, B.: Gröbner Bases: A Short Introduction for System Theorists. In: Moreno-Dí az Jr., R., Buchberger, B., Freire, J.-L. (eds.) EUROCAST 2001. LNCS, vol. 2178, pp. 1-14. Springer, Heidelberg (2001)
22. Brickenstein, M.: Slimgb: Gröbner Bases with Slim Polynomials. Reports on Computer Algebra 35, ZCA, University of Kaiserslautern (2005)