Post #1918
296

Болевой? Нулевой? Вообще-то булевой🤓
Задача булевой выполнимости (SAT) заключается в том, чтобы определить, существует ли набор значений переменных, при котором булева формула становится истинной. Для её решения используют специальные алгоритмы и программные средства — SAT-решатели. К SAT-задачам можно свести многие задачи, возникающие при анализе криптографических алгоритмов.
Из статьи вы узнаете:
🔵о задаче булевой выполнимости и ее применении в криптоанализе: что такое булевы формулы в КНФ и в чем суть SAT-криптоанализа;
🔵какие алгоритмы и задачи могут быть проанализированы: анализ алгоритмов блочного шифрования, аутентифицированного, поточного и других;
🔵как выполняется SAT-криптоанализ: этапы выполнения на примере анализа алгоритма блочного шифрования;
🔵примеры успешного применения: атаки на первые версии алгоритма ACORN, поиск коллизий для известных полнораундовых алгоритмов хеширования;
🔵ограничения по применению: сдерживающий фактор использования SAT-криптоанализа и основная сложность применения SAT-решателей.
🔗 Читать статью
В нашем блоге на Хабре директор по научной работе «Актив» Сергей Панасенко совместно с ведущим аналитиком Мариной Скоробогатовой сделали обзор применений подхода сведения задач криптоанализа к SAT-задачам.
Задача булевой выполнимости (SAT) заключается в том, чтобы определить, существует ли набор значений переменных, при котором булева формула становится истинной. Для её решения используют специальные алгоритмы и программные средства — SAT-решатели. К SAT-задачам можно свести многие задачи, возникающие при анализе криптографических алгоритмов.
Из статьи вы узнаете:
🔵о задаче булевой выполнимости и ее применении в криптоанализе: что такое булевы формулы в КНФ и в чем суть SAT-криптоанализа;
🔵какие алгоритмы и задачи могут быть проанализированы: анализ алгоритмов блочного шифрования, аутентифицированного, поточного и других;
🔵как выполняется SAT-криптоанализ: этапы выполнения на примере анализа алгоритма блочного шифрования;
🔵примеры успешного применения: атаки на первые версии алгоритма ACORN, поиск коллизий для известных полнораундовых алгоритмов хеширования;
🔵ограничения по применению: сдерживающий фактор использования SAT-криптоанализа и основная сложность применения SAT-решателей.
🔗 Читать статью
- 🔥 7
- ❤ 2
- ⚡ 1
- 🆒 1
















