|
Article information
2008 , Volume 13, ¹ 6, p.134-150
Semenov A.A., Zaikin O.S., Bespalov D.V., Ushakov A.A.
SAT-approach for cryptoanalysis of some stream ciphering systems
A new approach for cryptoanalysis of some stream ciphering systems is considered. This approach is based on heuristic algorithms of SAT problem solving. A technique of reduction of cryptanalysis problems to SAT-problems is described. Examples of successful cryptanalysis of some generators of binary sequences (Geffe, Volfram and Gifford generators) are introduced.
[full text]
Keywords: SAT-problem, logical cryptoanalysis, generator of binary sequences
Author(s):
Semenov Alexander Anatolievich
PhD. , Associate Professor
Position: Leading research officer
Office: Institute for system dynamics and control theory SB RAS
Address: 664044, Russia, Irkutsk
Phone Office: (3952)453054
E-mail: biclop@rambler.ru
Zaikin O.S.
Position: Student
Address: Russia, Irkutsk, Irkutsk
E-mail: oleg.zaikin@icc.ru
Bespalov D.V.
Position: Research Scientist
Address: Russia, Irkutsk, Irkutsk
E-mail: bespalov@altrixsoft.com
Ushakov A.A.
Position: Programmer
Address: Russia, Irkutsk, Irkutsk
E-mail: metbox2@mail.ru
Bibliography link:
Semenov A.A., Zaikin O.S., Bespalov D.V., Ushakov A.A. SAT-approach for cryptoanalysis of some stream ciphering systems // Computational technologies. 2008. V. 13. ¹ 6. P. 134-150
|
