OBDD-based cryptanalysis of oblivious keystream generators

Theory of Computing Systems

Volumn 40, Issue 1, 2007, Pages 101-121

  Krause, Matthias ^a  

^a UNIVERSITY OF MANNHEIM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHM COMPUTING; KEYSTREAM GENERATORS; LINEAR FEEDBACK SHIFT REGISTERS; ORDERED BINARY DECISION DIAGRAMS; POLYNOMIAL-TIME; PRACTICAL USE; SELF-SHRINKING GENERATOR; WIRELESS SYSTEMS;

ALGORITHMS; BOOLEAN FUNCTIONS; SHIFT REGISTERS;

AUTOMATA THEORY;

EID: 33846882399     PISSN: 14324350     EISSN: 14330490     Source Type: Journal    
DOI: 10.1007/s00224-005-1282-8     Document Type: Article

References (15)

1. F. Armknecht. Improving Fast Algebraic Attacks. Proceedings of Fast Software Encryption (FSE) 2004, LNCS 3017, pp. 65-82.
2. F. Armknecht and M. Krause. Algebraic Attacks on Combiners with Memory. Proceedings of CRYPTO 2003, LNCS 2729, pp. 162-176.
3. R. E. Bryant. Graph-based algorithms for Boolean function manipulations. IEEE Transactions on Computers 35 (1986), 677-691.
4. N. Courtois. Fast Algebraic Attacks on Stream Ciphers with Linear Feedback. Proceedings of CRYPTO 2003, LNCS 2729, pp. 177-194.
5. 0 Encryption System. Proceedings of Selected Areas in Cryptography (SAC 2001), LNCS 2259, pp. 38-48.
6. J. D. Golić. Cryptanalysis of Alleged A5/1 Stream Cipher. Proceedings of EUROCRYPT 1997, LNCS 1233, pp. 239-255.
7. S. W. Golomb. Shift Register Sequences, revised edition. Aegean Park Press, Laguna Hills, CA, 1982.
8. M. Krause. BDD-Based Cryptanalysis of Keystream Generators. Proceedings of EUROCRYPT 2002, LNCS 2332, pp. 222-237.
9. W. Meier and O. Staffelbach. The Self-Shrinking Generator. Proceedings of EUROCRYPT 1994, LNCS 950, pp. 205-214.
10. M. J. Mihaljević. A Faster Cryptanalysis of the Self-Shrinking Generator. Proceedings of ACIPS 1996, LNCS 1172, pp. 182-189.
11. R. A. Rueppel. Stream Ciphers. In Contemporary Cryptology: The Science of Information Integrity (G. Simmons, ed.). IEEE Press, New York, 1991.
12. F. Schleer. Einsatz von OBDDs zur Kryptanalyse von Flusschiffren. Master Thesis, Universität Mannheim, 2002.
13. D. Stegemann. BDD-Based Cryptanalysis of the A5/1 Keystream Generator - Experimental Results. Technical Report, Universität Mannheim, 2004. To appear in the Workshop Record of the ECRYPT Workshop SASC - The State of the Art of Stream Ciphers, Brugge, 2004.
14. I. Wegener. Branching Programs and Binary Decision Diagrams. SIAM Monographs on Discrete Mathematics and Applications. SIAM, Philadelphia, PA, 2000.
15. E. Zenner, M. Krause and S. Lucks. Improved Cryptanalysis of the Self-Shrinking Generator. Proceedings of ACIPS 2001, LNCS 2119, pp. 21-35.