Прикладная дискретная математика. Приложение
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


ПДМ. Приложение:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Прикладная дискретная математика. Приложение, 2020, выпуск 13, страницы 135–136
DOI: https://doi.org/10.17223/2226308X/13/40 (Mi pdma520) 		 
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

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

Компактный транслятор алгоритмов в булевы формулы для применения в криптоанализе

Д. А. Софроноваab, К. В. Калгинacd

a Новосибирский государственный университет
b Лаборатория криптографии JetBrains Research, г. Новосибирск
c Институт вычислительной математики и математической геофизики Сибирского отделения Российской академии наук, г. Новосибирск
d Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук, г. Новосибирск
PDF полного текста (335 kB) Список цитирования (1)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.17223/2226308X/13/40
Аннотация: Представлен транслятор, позволяющий преобразовывать описание криптографической задачи (криптоанализ шифра или хэш-функции, поиск APN-функций) в КНФ. В дальнейшем SAT-решатель устанавливает истинность формулы и находит набор, выполняющий КНФ. Отличительные особенности данной разработки — универсальность, малый объём исходного кода (300 строк С++), легко модифицируемая и расширяемая реализация.
Ключевые слова: криптоанализ, SAT-решатель, атака «угадай-и-вычисли».
Финансовая поддержка Номер гранта
Министерство науки и высшего образования Российской Федерации 075-15-2019-1613
Работа выполнена при поддержке Математического центра в Академгородке (г. Новосибирск), соглашение с Министерством науки и высшего образования Российской Федерации № 075-15-2019-1613, и Лаборатории криптографии JetBrains Research.
Тип публикации: Статья
УДК: 519.7
Образец цитирования: Д. А. Софронова, К. В. Калгин, “Компактный транслятор алгоритмов в булевы формулы для применения в криптоанализе”, ПДМ. Приложение, 2020, № 13, 135–136
Цитирование в формате AMSBIB
\RBibitem{SofKal20}
\by Д.~А.~Софронова, К.~В.~Калгин
\paper Компактный транслятор алгоритмов в булевы формулы для применения в криптоанализе
\jour ПДМ. Приложение
\yr 2020
\issue 13
\pages 135--136
\mathnet{http://mi.mathnet.ru/pdma520}
\crossref{https://doi.org/10.17223/2226308X/13/40}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/pdma520
  • https://www.mathnet.ru/rus/pdma/y2020/i13/p135
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Прикладная дискретная математика. Приложение
    Статистика просмотров:
    Страница аннотации:94
    PDF полного текста:50
    Список литературы:28
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024