Standard

Применение алгоритмов решения проблемы булевой для анализа финалистов конкурс SHA-3. / Заикин, О.С.; Давыдов, В.В.; Кирьянова, А.П.

In: Numerical Methods and Programming (Vychislitel'nye Metody i Programmirovanie), Vol. 25, No. 3, 2024, p. 259-273.

Research output: Contribution to journal › Article › peer-review

Harvard

Заикин, ОС, Давыдов, ВВ & Кирьянова, АП 2024, 'Применение алгоритмов решения проблемы булевой для анализа финалистов конкурс SHA-3', Numerical Methods and Programming (Vychislitel'nye Metody i Programmirovanie), vol. 25, no. 3, pp. 259-273. https://doi.org/10.26089/nummet.v25r320

APA

Заикин, О. С., Давыдов, В. В., & Кирьянова, А. П. (2024). Применение алгоритмов решения проблемы булевой для анализа финалистов конкурс SHA-3. Numerical Methods and Programming (Vychislitel'nye Metody i Programmirovanie), 25(3), 259-273. https://doi.org/10.26089/nummet.v25r320

Vancouver

Заикин ОС, Давыдов ВВ, Кирьянова АП. Применение алгоритмов решения проблемы булевой для анализа финалистов конкурс SHA-3. Numerical Methods and Programming (Vychislitel'nye Metody i Programmirovanie). 2024;25(3):259-273. doi: 10.26089/nummet.v25r320

Author

Заикин, О.С. ; Давыдов, В.В. ; Кирьянова, А.П. / Применение алгоритмов решения проблемы булевой для анализа финалистов конкурс SHA-3. In: Numerical Methods and Programming (Vychislitel'nye Metody i Programmirovanie). 2024 ; Vol. 25, No. 3. pp. 259-273.

BibTeX

@article{6794170c6a7849f9ab7682991fae3b04,
title = "Применение алгоритмов решения проблемы булевой для анализа финалистов конкурс SHA-3",
abstract = "Рассматриваются финалисты конкурса SHA-3, организованного для принятия нового стандарта криптографической хеш-функции. Все пять финалистов до сих пор являются стойкими к поиску прообраза, т.е. для них невозможно за реальное время найти вход по известному выходу. Исследуется возможность нахождения прообразов неполнораундовых версий рассмотренных криптографических хеш-функций. Соответствующие задачи сведены к проблеме булевой выполнимости (SAT) с помощью инструментального средства CBMC, предназначенного для проверки свойств программ на языке C. Для решения построенных экземпляров SAT использован современный решатель Kissat. В сравнении с ранее опубликованными результатами, для четырех из пяти функций-финалистов удалось найти прообразы более сложных неполнораундовых версий.",
keywords = "Проблема булевой выполнимости, Проверка свойств программ, КРИПТОГРАФИЧЕСКАЯ ХЕШ-ФУНКЦИЯ, Поиск прообраза, Конкурс SHA-3, SAT-РЕШАТЕЛЬ, KISSAT, CBMC, BOOLEAN SATISFIABILITY PROBLEM, MODEL CHECKING, CRYPTOGRAPHIC HASH FUNCTION, PREIMAGE ATTACK, SHA-3 COMPETITION",
author = "О.С. Заикин and В.В. Давыдов and А.П. Кирьянова",
note = "Заикин, О. С. Применение алгоритмов решения проблемы булевой выполнимости для анализа финалистов конкурса SHA-3 / О. С. Заикин, В. В. Давыдов, А. П. Кирьянова // Вычислительные методы и программирование. – 2024. – Т. 25, № 3. – С. 259-273. – DOI 10.26089/NumMet.v25r320.",
year = "2024",
doi = "10.26089/nummet.v25r320",
language = "русский",
volume = "25",
pages = "259--273",
journal = "Numerical Methods and Programming (Vychislitel'nye Metody i Programmirovanie)",
issn = "1726-3522",
publisher = "Московский государственный университет им. М.В. Ломоносова",
number = "3",

}

RIS

TY - JOUR

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

AU - Заикин, О.С.

AU - Давыдов, В.В.

AU - Кирьянова, А.П.

N1 - Заикин, О. С. Применение алгоритмов решения проблемы булевой выполнимости для анализа финалистов конкурса SHA-3 / О. С. Заикин, В. В. Давыдов, А. П. Кирьянова // Вычислительные методы и программирование. – 2024. – Т. 25, № 3. – С. 259-273. – DOI 10.26089/NumMet.v25r320.

PY - 2024

Y1 - 2024

N2 - Рассматриваются финалисты конкурса SHA-3, организованного для принятия нового стандарта криптографической хеш-функции. Все пять финалистов до сих пор являются стойкими к поиску прообраза, т.е. для них невозможно за реальное время найти вход по известному выходу. Исследуется возможность нахождения прообразов неполнораундовых версий рассмотренных криптографических хеш-функций. Соответствующие задачи сведены к проблеме булевой выполнимости (SAT) с помощью инструментального средства CBMC, предназначенного для проверки свойств программ на языке C. Для решения построенных экземпляров SAT использован современный решатель Kissat. В сравнении с ранее опубликованными результатами, для четырех из пяти функций-финалистов удалось найти прообразы более сложных неполнораундовых версий.

AB - Рассматриваются финалисты конкурса SHA-3, организованного для принятия нового стандарта криптографической хеш-функции. Все пять финалистов до сих пор являются стойкими к поиску прообраза, т.е. для них невозможно за реальное время найти вход по известному выходу. Исследуется возможность нахождения прообразов неполнораундовых версий рассмотренных криптографических хеш-функций. Соответствующие задачи сведены к проблеме булевой выполнимости (SAT) с помощью инструментального средства CBMC, предназначенного для проверки свойств программ на языке C. Для решения построенных экземпляров SAT использован современный решатель Kissat. В сравнении с ранее опубликованными результатами, для четырех из пяти функций-финалистов удалось найти прообразы более сложных неполнораундовых версий.

KW - Проблема булевой выполнимости

KW - Проверка свойств программ

KW - КРИПТОГРАФИЧЕСКАЯ ХЕШ-ФУНКЦИЯ

KW - Поиск прообраза

KW - Конкурс SHA-3

KW - SAT-РЕШАТЕЛЬ

KW - KISSAT

KW - CBMC

KW - BOOLEAN SATISFIABILITY PROBLEM

KW - MODEL CHECKING

KW - CRYPTOGRAPHIC HASH FUNCTION

KW - PREIMAGE ATTACK

KW - SHA-3 COMPETITION

UR - https://www.mendeley.com/catalogue/a2aa44d7-9923-3fbd-bcbe-145ab2dde245/

UR - https://www.elibrary.ru/item.asp?id=71965272

U2 - 10.26089/nummet.v25r320

DO - 10.26089/nummet.v25r320

M3 - статья

VL - 25

SP - 259

EP - 273

JO - Numerical Methods and Programming (Vychislitel'nye Metody i Programmirovanie)

JF - Numerical Methods and Programming (Vychislitel'nye Metody i Programmirovanie)

SN - 1726-3522

IS - 3

ER -

ID: 72015275