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