BDD-based cryptanalysis of keystream generators

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

Volumn 2332, Issue , 2002, Pages 222-237

  Krause, Matthias ^a  

^a UNIVERSITY OF MANNHEIM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY DECISION DIAGRAMS; BINARY SEQUENCES; BOOLEAN FUNCTIONS; SHIFT REGISTERS;

ENCRYPTION STANDARDS; FREE BINARY DECISION DIAGRAMS; KEYSTREAM GENERATORS; LFSR-BASED GENERATORS; LINEAR FEEDBACK SHIFT REGISTERS; NONLINEAR COMPRESSION; SELF-SHRINKING GENERATOR; WIRELESS LAN SYSTEM;

CRYPTOGRAPHY;

EID: 84935039488     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46035-7_15     Document Type: Conference Paper

References (19)

1. E. Biham, O. Dunkelman. Cryptanalysis of the A5/1 GSM Stream Cipher. Proc of INDOCRYPT 2000, LNCS 1977, 43-51.
2. A. Biryukov, A. Shamir, D. Wagner. Real Time Cryptanalysis of A5/1 on a PC. Proc of Fast Software Encryption 2000, LNCS 1978, 1-18.
3. Bluetooth SIG. Bluetooth Specification Version 1.0 B, http//:www.bluetooth.com/
4. R. E. Bryant. Graph-based algorithms for Boolean function manipulations. IEEE Trans. on Computers 35, 1986, 677-691.
5. M. Briceno, I. Goldberg, D. Wagner. A pedagogical implementation of A5/1. http//:www.scard.org, May 1999.
6. C. de Canniere. Analysis of the Bluetooth Stream Cipher. Master’s Project COSIC, Leuven, 2001.
7. S. R. Fluhrer, S. Lucks. Analysis of the E0 Encryption System. Technical Report, Universit¨at Mannheim 2001.
8. J. D. Golic. Cryptanalysis of alleged A5/1 stream cipher. Proc of EUROCRYPT’97, LNCS 1233, 239-255.
9. J. Gergov, Ch. Meinel. Efficient Boolean function manipulation with OBDDs can be generalized to FBDDs. IEEE Trans. on Computers 43, 1994, 1197-1209.
10. S. W. Golomb. Shift Register Sequences. Aegean Park Press, Laguna Hills, revised edition 1982.
11. M. Krause. BDD-based Cryptanalysis of Keystream Generators. Report 2001/092 in the Cryptology ePrint Archive (http://eprint.iacr.org/curr/).
12. Ch. Meinel. Modified Branching Programs and their Computational Power. LNCS 370, 1989.
13. M. J. Mihaljevic. A faster Cryptanalysis of the Self-Shrinking Generator. Proc Of ACIPS’96, LNCS 1172, 182-189.
14. W. Meier, O. Staffelbach. The Self-Shrinking Generator. Proc of EUROCRYPT’94, LNCS 950, 205-214.
15. R. A. Rueppel. Stream Ciphers. Contemporary Cryptology: The Science of Information Integrity. G.Simmons ed., IEEE Press New York, 1991.
16. D. Sieling, I.Wegener. Graph driven BDDs - a new data structure for Boolean functions. Theoretical Computer Science 141, 1995, 283-310.
17. I. Wegener. Branching Programs and Binary Decision Diagrams. SIAM Monographs on Discrete Mathematics and Applications. Philadelphia 2000.
18. E. Zenner. Kryptographische Protokolle im GSM Standard: Beschreibung und Kryptanalyse (in german). Master Thesis, University of Mannheim, 1999.
19. E. Zenner, M. Krause, S. Lucks. Improved Cryptanalysis of the Self-Shrinking Generator. Proc of ACIPS’2001, LNCS 2119, 21-35.