А. Е. Доронин, К. В. Калгин, “Применение SAT-решателей для построения булевых функций с заданными криптографическими свойствами”, ПДМ. Приложение, 2020, выпуск 13,страницы 129

Вычислительные методы в дискретной математике

Применение SAT-решателей для построения булевых функций с заданными криптографическими свойствами

А. Е. Доронин^a, К. В. Калгин^bac

^a Новосибирский государственный университет
^b Институт вычислительной математики и математической геофизики Сибирского отделения Российской академии наук, г. Новосибирск
^c Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук, г. Новосибирск

Аннотация: Представлен подход к решению некоторых криптографических задач, основанный на их сведении к классической задаче о выполнимости и последующем использовании SAT-решателей. Построены формулы, определяющие условия взаимной однозначности и дифференциальной равномерности векторной булевой функции.

Ключевые слова: SAT-решатели, криптография, булевы функции.

УДК: 519.7

DOI: 10.17223/2226308X/13/38