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

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

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



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






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


Прикладная дискретная математика. Приложение, 2020, выпуск 13, страницы 129–132
DOI: https://doi.org/10.17223/2226308X/13/38
(Mi pdma518)
 

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

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

А. Е. Доронинa, К. В. Калгинbac

a Новосибирский государственный университет
b Институт вычислительной математики и математической геофизики Сибирского отделения Российской академии наук, г. Новосибирск
c Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук, г. Новосибирск
Список литературы:
Аннотация: Представлен подход к решению некоторых криптографических задач, основанный на их сведении к классической задаче о выполнимости и последующем использовании SAT-решателей. Построены формулы, определяющие условия взаимной однозначности и дифференциальной равномерности векторной булевой функции.
Ключевые слова: SAT-решатели, криптография, булевы функции.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 18-07-01394_а
Работа выполнена при поддержке РФФИ (проект № 18-07-01394) и Лаборатории криптографии JetBrains Research.
Тип публикации: Статья
УДК: 519.7
Образец цитирования: А. Е. Доронин, К. В. Калгин, “Применение SAT-решателей для построения булевых функций с заданными криптографическими свойствами”, ПДМ. Приложение, 2020, № 13, 129–132
Цитирование в формате AMSBIB
\RBibitem{DorKal20}
\by А.~Е.~Доронин, К.~В.~Калгин
\paper Применение SAT-решателей для построения булевых функций с заданными криптографическими свойствами
\jour ПДМ. Приложение
\yr 2020
\issue 13
\pages 129--132
\mathnet{http://mi.mathnet.ru/pdma518}
\crossref{https://doi.org/10.17223/2226308X/13/38}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/pdma518
  • https://www.mathnet.ru/rus/pdma/y2020/i13/p129
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Прикладная дискретная математика. Приложение
    Статистика просмотров:
    Страница аннотации:91
    PDF полного текста:42
    Список литературы:12
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024