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