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

Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

Переведенное название	SAT-based analysis of SHA-3 competition finalists
Язык оригинала	русский
Страницы (с-по)	259-273
Число страниц	15
Журнал	Numerical Methods and Programming (Vychislitel'nye Metody i Programmirovanie)
Том	25
Номер выпуска	3
DOI	https://doi.org/10.26089/nummet.v25r320
Состояние	Опубликовано - 2024

Проблема булевой выполнимости, Проверка свойств программ, КРИПТОГРАФИЧЕСКАЯ ХЕШ-ФУНКЦИЯ, Поиск прообраза, Конкурс SHA-3

ID: 72015275