Hybrid approach (SAT +ROBDD) to cryptanalysis of stream encryption systems
Download file
Counter downloads: 282
Keywords
Authors
| Name | Organization | |
| Ignatiev A. S. | Institute of System Dynamics and Control Theory, Irkutsk | alexey.ignatiev@gmail.com |
| Semenov A. A. | Institute of System Dynamics and Control Theory, Irkutsk | biclop@rambler.ru |
| Bespalov D. V. | Institute of System Dynamics and Control Theory, Irkutsk | bespalov@altrixsoft.com |
| Zaikin O.S. | Institute of System Dynamics and Control Theory, Irkutsk | oleg.zaikin@icc.ru |
References
Семенов А. А., Заикин О. С., Беспалов Д. В. и др. Решение задач обращения дискретных функций на многопроцессорных вычислительных системах / / Труды Четвертой Междунар. конф. «Параллельные вычисления и задачи управления» PACO'2008, Москва, 26-29 октября 2008. 2008. С. 152-176.
Семенов А. А., Заикин О. С., Беспалов Д. В., Ушаков А. А. SAT-подход в криптоанализе некоторых систем поточного шифрования / / Вычислительные технологии. 2008. Т. 13. №6. С. 134-150.
Заикин О. С., Семенов А. А. Технология крупноблочного параллелизма в SAT-задачах / / Проблемы управления. 2008. №1. С. 43-50.
Семенов А. А., Заикин О. С. Неполные алгоритмы в крупноблочном параллелизме комбинаторных задач / / Вычислительные методы и программирование. 2008. Т. 9. №1. С. 112-122.
