Algebraic attacks on combiners with memory and several outputs

Lecture Notes in Computer Science

Volumn 3506, Issue , 2005, Pages 3-20

  Courtois, Nicolas T ^a  

^a GEMPLUS   (France)

Author keywords

Algebraic cryptanalysis; Boolean functions; Combiners with memory; E0; LFSR based stream ciphers; LILI 128; Snow; Turing cipher

Indexed keywords

BOOLEAN FUNCTIONS; COMPUTATIONAL COMPLEXITY; CRYPTOGRAPHY; SNOW; THEOREM PROVING; TURING MACHINES;

ALGEBRAIC CRYPTANALYSIS; COMBINERS WITH MEMORY; LFSR-BASED STREAM CIPHERS; LILI-128; TURING CIPHER;

STORAGE ALLOCATION (COMPUTER);

EID: 24944457137     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11496618_3     Document Type: Conference Paper

References (38)

1. Frederik Armknecht: A Linearization Attack on the Bluetooth Key Stream Generator, Available on http://eprint.iacr.org/2002/191/. 13 December 2002
2. Fvederik Armknecht, Matthias Krause: Algebraic Atacks on Combiners with Memory, Crypto 2003, LNCS 2729, pp. 162-176, Springer.
3. Frederik Armknecht: Improving Fast Algebraic Attacks, FSE 2004, LNCS, 2004.
4. Ross Anderson: Searching for the Optimum Correlation Attack, FSE'94, LNCS 1008, Springer, pp 137-143.
5. Elad Barkan, Eli Biham, and Nathan Keller: Instant Ciphertext-Only Cryptanalysis of GSM Encrypted Communication, Crypto 2003, LNCS 2729, pp. 600-616.
6. Bluetooth CIG, Specification of the Bluetooth system, Version 1.1, February 22 2001, available from www.bluetooth.com.
7. Christophe De Canniere, Guess and Determine Attack on SNOW, Nessie public report, 12/11/2001, NES/DOC/KUL/WP5/011/a, available from www.cryptonessie.org.
8. Claude Carlet, Emmanuel Prouff: On a new notion of nonlinearity relevant to multi-output pseudo-random generators, SAC 2003, LNCS 3006, pp. 291-305.
9. Will Meier, Enes Pasalic and Claude Carlet: Algebraic Attacks and Decomposition of Boolean Functions, In Eurocrypt 2004, pp. 474-491, LNCS 3027, Springer, 2004.
10. Don Coppersmith, Shai Halevi and Charanjit Jutla, Cryptanalysis of stream ciphers with linear masking, Crypto 2002, LNCS 2442, Springer, 2002. Available at http://eprint.iacr.org/2002/020/
11. Paul Camion, Claude Carlet, Pascale Charpin and Nicolas Sendrier, On Correlation-immune Functions, Crypto'91, LNCS 576, Springer, pp. 86-100.
12. Don Coppersmith, Shmuel Winograd: Matrix multiplication via arithmetic progressions, J. Symbolic Computation (1990), 9, pp. 251-280.
13. Nicolas Courtois: The security of Hidden Field Equations (HFE), Cryptographers' Track Rsa Conference 2001, LNCS 2020, Springer, pp. 266-281.
14. Nicolas Courtois: Higher Order Correlation Attacks, XL algorithm and Cryptanalysis of Toyocrypt, ICISC 2002, LNCS 2587, pp. 182-199, Springer.
15. Nicolas Courtois and Willi Meier: Algebraic Attacks on Stream Ciphers with Linear Feedback, Eurocrypt 2003, Warsaw, Poland, LNCS 2656, pp. 345-359, Springer. An extended version is available at http://www.minrank.org/toyolili. pdf
16. Nicolas Courtois: Fast Algebraic Attacks on Stream Ciphers with Linear Feedback, Crypto 2003, LNCS 2729, pp: 177-194, Springer.
17. Nicolas Courtois: The Inverse S-box, Non-linear Polynomial Relations and Cryptanalysis of Block Ciphers, in AES 4 Conference, LNCS, Springer.
18. Nicolas Courtois: General Principles of Algebraic Attacks and New Design Criteria for Components of Symmetric Ciphers, in AES 4 Conference, LNCS, Springer.
19. Nicolas Courtois and Josef Pieprzyk, Cryptanalysis of Block Ciphers with Overdefined Systems of Equations, Asiacrypt 2002, LNCS 2501, pp.267-287, Springer.
20. Patrik Ekdahl, Thomas Johansson, SNOW - a new stream cipher, Proceedings of First NESSIE Workshop, Heverlee, Belgium, 2000.
21. Patrik Ekdahl, Thomas Johansson, A new version of the stream cipher SNOW, in SAC 2002, LNCS 2595, Springer, pp. 47-61. Available from http://www.it.lth.se/cryptology/snow/
22. Jean-Charles Faugère: "A new efficient algorithm for computing Gröbner bases without reduction to zero (F5)" Workshop on Applications of Commutative Algebra, Catania, Italy, ACM Press, 2002.
23. Jovan Dj. Colic: On the Security of Nonlinear Filter Generators, FSE'96, LNCS 1039, Springer, pp. 173-188.
24. Jovan Dj. Colic: Correlation Properties of a General Binary Combiner with Memory. Journal of Cryptology vol. 9(2), pp. 111-126 (1996).
25. Jovan Dj. Colic, Vittorio Bagini, Guglielmo Morgari: Linear Cryptanalysis of Bluetooth Stream Cipher, Eurocrypt 2002, LNCS 2332, Springer, pp. 238-255.
26. Thomas Jakobsen: Cryptanalysis of Block Ciphers with Probabilistic Non-Linear Relations of Low Degree, Crypto 98, LNCS 1462, Springer, pp. 212-222, 1998.
27. Philip Hawkes, Gregory Rose: Guess-and-determine attacks on SNOW, in SAC 2002, LNCS 2595, Springer, pp. 37-46.
28. Philip Hawkes, Gregory Rose: Rewriting Variables: the Complexity of Fast Algebraic Attacks on Stream Ciphers, in Crypto 2004, LNCS 3152, pp. 390-406, Springer, 2004. Available from eprint.iacr.org/2004/081/.
29. Willi Meier and Othmar Staffelbach: Fast correlation attacks on certain stream ciphers, Journal of Cryptology, 1(3):159-176, 1989.
30. Willi Meier and Othmar Staffelbach: Correlation Properties of Combiners with Memory in Stream Ciphers, Journal of Cryptology 5(1): pp. 67-86 (1992).
31. Alfred J. Menezes, Paul C. van Oorschot, Scott A. Vanstone: Handbook of Applied Cryptography, Chapter 6, CRC Press.
32. Nessie Security Report v2.0. or Nessie deliverable D20, available from www.cryptonessie.org.
33. Jacques Patarin: Cryptanalysis of the Matsumoto and Imai Public Key Scheme of Eurocrypt'88, Crypto'95, Springer, LNCS 963, pp. 248-261, 1995.
34. Gregory G. Rose and Philip Hawkes: Turing: a Fast Stream Cipher, FSE 2003, LNCS, Springer.
35. Adi Shamir, Jacques Patarin, Nicolas Courtois, Alexander Klimov, Efficient Algorithms for solving Overdefined Systems of Multivariate Polynomial Equations, Eurocrypt'2000, LNCS 1807, Springer, pp. 392-407.
36. L. Simpson, E. Dawson, J. Golic and W. Millan: LILI Keystream Generator, SAC'2000, LNCS 2012, Springer, pp. 248-261,
37. Volker Strassen: Gaussian Elimination is Not Optimal, Numerische Mathematik, vol 13, pp 354-356, 1969.
38. Muxiang Zhang, Agnes Chan: Maximum Correlation Analysis of Nonlinear S-boxes in Stream Ciphers. In Crypto 2000, LNCS 1880, pp. 501-514, Springer 2000.