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

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

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

Полное описание

Библиографическая информация
Опубликовано в: :	Прикладная дискретная математика. Приложение № 13. С. 129-132
Главный автор:	Доронин, Артемий Евгеньевич
Другие авторы:	Калгин, Константин Викторович
Формат:	Статья в журнале
Язык:	Russian
Предметы:	SAT-решатели криптография булевы функции статьи в журналах
Online-ссылка:	http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000723850 Перейти в каталог НБ ТГУ

Похожие документы

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

Троичное моделирование комбинационных схем с использованием SAT-решателей и его применение при верификации
по: Голубева, Ольга Ивановна

Экспериментальное исследование решателя MiniSat
по: Кидярова, Галина Владимировна

Синтез вентильных схем, маскирующих неисправности, с использованием SAT-решателей
по: Провкин, Виктор Алексеевич

Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием SAT-решателей
по: Тычинский, Вячеслав Зиновьевич

Построение с использованием SAT-решателей схем, маскирующих логические неисправности и вредоносные подсхемы управляющих компонент сложных физических систем

Masking internal node logical faults and trojan circuits injections with using SAT solvers
по: Matrosova, Anzhela Yu

BDD and DNF based algorithms for constructing all testability functions of combinational circuit
по: Golubeva, Olga

SAT solvers application of deriving all test pairs detecting robust testable PDFs
по: Matrosova, Anzhela Yu

Masking circuit faults and Trojan circuit injections using sat solvers

Оптимизация решения алгоритма CDCL, представленного в виде троичного вектора
по: Иванкин, Дмитрий Ильич

Применение 2-SAT задачи для обнаружения утечки ресурсов в списочных структурах
по: Серебренникова, Кристина Андреевна

DPLL-подобный решатель задачи выполнимости над системой уравнений в АНФ
по: Ткачев, Александр Витальевич

Метод исключения переменной из КНФ Цейтина
по: Тычинский, Вячеслав Зиновьевич

Обнаружение неисправности частично построенной схемы путем вычисления частичных функций ее нереализованных фрагментов
по: Головин, Артем Витальевич

Построение множества всех достижимых реакций комбинационных схем
по: Провкин, Виктор Алексеевич

Алгебраический криптоанализ 9 раундов низкоресурсного блочного шифра Simon32/64
по: Маро, Екатерина Александровна

Об эвристическом подходе к построению биективных векторных булевых функций с заданными криптографическими характеристиками
по: Коврижных, Мария Антоновна

Параллельная технология решения SAT-задач и ее реализация в виде пакета прикладных программ диссертация на соискание ученой степени кандидата технических наук : 05.13.01 - системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации)
по: Заикин, Олег Сергеевич
Публикация: (2009)

О некоторых связях расщепляемости булевых функций с их алгебраическими, комбинаторными и криптографическими свойствами
по: Бабуева, Александра Алексеевна

Атаки из класса "угадывай и определяй" и автоматические способы их построения
по: Семенов, Александр Анатольевич

Конструкция уравновешенных функций с высокой нелинейностью и другими криптографическими свойствами
по: Шапоренко, Александр Сергеевич

О булевых функциях без запрета
по: Колегов, Денис Николаевич

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

SIBCiphers - симметричные итеративные блочные шифры из булевых функций с ключевыми аргументами
по: Агибалов, Геннадий Петрович 1939-2020

О некоторых классах булевых функций, сохраняющих линейную сложность линейных рекуррентных последовательностей
по: Колегов, Денис Николаевич

Cracking the SAT
по: Robinson, Adam
Публикация: (2009)

McGraw-Hill's SAT 5 practice tests
Публикация: (2008)

Вычисление совершенной нелинейности булевой функции на графическом процессоре
по: Медведев, Андрей Валерьевич

Cracking the SAT physics : subject test
по: Leduc, Steven A.
Публикация: (2009)

Cracking the SAT chemistry : subject test
по: Silver, Theodore
Публикация: (2009)

Cracking the SAT literature : subject test
по: Amend, Allison
Публикация: (2009)

12 practise tests for the SAT
Публикация: (2011)

Гибридный (SAT+ROBDD) логический вывод в задачах обращения дискретных функций
по: Семенов, Александр Анатольевич

Cracking the SAT math 1 & 2 : subject test
по: Spaihts, Jonathan
Публикация: (2008)

Cracking the SAT biology E/M : subject test
по: Wright, Judene
Публикация: (2009)

Порождение дополнительных ограничений в задачах алгебраического криптоанализа при помощи SAT-оракулов
по: Семенов, Александр Анатольевич

Совершенный алгоритм алгоритмы для NP-трудных затрат
по: Рафгарден, Тим
Публикация: (2021)

Технологии решения многомерных задач логического поиска
по: Семенов, Александр Анатольевич

Сложность булевых функций
по: Нигматуллин, Рошаль Габдулхаевич
Публикация: (1991)