3. Фундаментальные и технологические проблемы информационных, телекоммуникационных и вычислительных систем
Программа 3.2. Интегрированные информационно-телекоммуникационные системы и сети, телекоммуникационные и информационные ресурсы, информационные процессы в управляющих системах и сетях

Разработана технология криптоанализа скоростных поточных систем шифрования на основе генераторов двоичных последовательностей. В ее основе лежит представление прямых алгоритмов вычисления дискретных функций в формате конъюнктивных нормальных форм, а также логико-эвристические методы поиска их выполняющих наборов. Разработан специальный LC-язык представления алгоритмов и SAT-решатель, не уступающий по скорости лучшим мировым образцам, а на отдельных классах тестов превосходящий их. Полученная технология применяется в криптоанализе скоростных поточных шифров на основе генераторов двоичных последовательностей (генератор Геффе, сжимающий генератор и др.).