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

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

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


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




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

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

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

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

К. В. Антоновa, А. А. Семёновb

a Институт математики, экономики и информатики Иркутского государственного университета
b Институт динамики систем и теории управления имени В.М. Матросова Сибирского отделения Российской академии наук, г. Иркутск
PDF полного текста (606 kB) Список цитирования (1)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.17223/2226308X/13/34
Аннотация: Описывается новая техника, применимая к задачам алгебраического криптоанализа. В рамках предлагаемой техники строятся линейные уравнения над полем из двух элементов, которыми дополняется система алгебраических уравнений, представляющая криптоанализ рассматриваемого шифра. Для генерации новых линейных уравнений используется SAT-решатель. Показано, что применение этой техники позволяет повысить эффективность атак из класса «угадывай и определяй», основанных на понятии линеаризующего множества. Эффективность предложенной техники подтверждается вычислительными экспериментами, проведёнными для ряда ослабленных по числу шагов инициализации версий известного поточного шифра Trivium.
Ключевые слова: линеаризующие множества, атаки из класса «угадывай и определяй», квадратичные системы над GF(2), псевдобулева оптимизация, Trivium.
Финансовая поддержка Номер гранта
Российский научный фонд 16-11-10046
Работа выполнена при финансовой поддержке Российского научного фонда, проект № 16-11-10046.
Тип публикации: Статья
УДК: 519.7
Образец цитирования: К. В. Антонов, А. А. Семёнов, “Применение SAT-оракулов для генерации дополнительных линейных ограничений в задачах криптоанализа некоторых легковесных шифров”, ПДМ. Приложение, 2020, № 13, 114–119
Цитирование в формате AMSBIB
\RBibitem{AntSem20}
\by К.~В.~Антонов, А.~А.~Семёнов
\paper Применение SAT-оракулов для генерации дополнительных линейных ограничений в задачах криптоанализа некоторых легковесных шифров
\jour ПДМ. Приложение
\yr 2020
\issue 13
\pages 114--119
\mathnet{http://mi.mathnet.ru/pdma514}
\crossref{https://doi.org/10.17223/2226308X/13/34}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/pdma514
  • https://www.mathnet.ru/rus/pdma/y2020/i13/p114
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Прикладная дискретная математика. Приложение
    Статистика просмотров:
    Страница аннотации:126
    PDF полного текста:117
    Список литературы:21
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024