2021, выпуск 14

ТРУДЫ
XX Международной конференции
«Сибирская научная школа-семинар
“Компьютерная безопасность и криптография” — SIBECRYPT’21»
имени Г.П. Агибалова
(Новосибирск, 6–11 сентября 2021 г.)

	Воспоминания коллег и учеников о Геннадии Петровиче Агибалове		6–23
Теоретические основы прикладной дискретной математики
	О построении максимальных гиперэллиптических кривых рода $3$ Ю. Ф. Болтнев, С. А. Новоселов, В. А. Осипов		24–30
	Центральная предельная теорема для $U$-статистик от цепочек меток вершин на полном графе Н. М. Меженная, В. Г. Михайлов		30–32
	О наибольшем порядке подстановок заданной степени В. М. Фомичёв		32–36
Дискретные функции
	Гибридный подход к поиску булевых функций с высокой алгебраической иммунностью на основе эвристических методов Н. Д. Атутова		37–40
	$\mathrm{S}$-блоки с максимальной компонентной алгебраической иммунностью от малого числа переменных Д. А. Зюбина, Н. Н. Токарева		40–42
	О некоторых свойствах самодуальных обобщённых бент-функций А. В. Куценко		42–45
	О свойствах разностных характеристик XOR по модулю $2^n$ Н. Муха, Н. А. Коломеец, Д. А. Ахтямов, И. А. Сутормин, М. А. Панферов, К. М. Титова, Т. А. Бонич, Е. А. Ищукова, Н. Н. Токарева, Б. Ф. Жантуликов		46–48
	Улучшенные оценки для числа $k$-эластичных и корреляционно-иммунных двоичных отображений К. Н. Панков		48–51
	О способе построения дифференциально $2\delta$-равномерных подстановок на $\mathbb{F}_{2^{2m}}$ Д. Б. Фомин		51–55
	Условие однозначности разложения в произведение функций $p$-значной логики при линейной замене переменных А. В. Черемушкин		55–57
	О производных булевых бент-функций А. С. Шапоренко		57–58
Математические методы криптографии
	XS-схемы: скрытие тактовых оракулов С. В. Агиевич		59–61
	Разработка и анализ оракула для гибридной атаки на криптографическую систему NTRU с использованием алгоритма квантового поиска А. О. Бахарев		62–67
	Криптоаналитическая обратимость функций двух аргументов Н. Ю. Бердникова, И. А. Панкратова		67–71
	Экспериментальное исследование характеристик одного способа контроля целостности при хранении данных большого объёма Д. А. Бобровский, Д. И. Задорожный, А. М. Коренева, Т. Р. Набиев, В. М. Фомичёв		71–74
	Об алгоритме дополнения блоков большого размера в системах контроля целостности Д. А. Бобровский, Т. Р. Набиев, В. М. Фомичёв		74–79
	Пороговая схема протокола Диффи — Хеллмана Д. Н. Колегов, Ю. Р. Халниязова		79–81
	Использование российских криптографических алгоритмов в протоколе безопасности сетевого уровня WireGuard Д. Н. Колегов, Ю. Р. Халниязова		81–84
	Алгебраический криптоанализ низкоресурсных шифров Simon и Speck А. В. Куценко, Н. Д. Атутова, Д. А. Зюбина, Е. А. Маро, С. Д. Филиппов		84–91
	К задаче описания минимальных по включению совершенных шифров Н. В. Медведева, С. С. Титов		91–95
	Постквантовое электронное голосование на основе решёток при участии нескольких кандидатов Д. А. Набоков		95–100
	Об ARX-подобных шифрсистемах на базе различных кодировок неабелевых регулярных $2$-групп с циклической подгруппой индекса $2$ Б. А. Погорелов, М. А. Пудовкина		100–104
	Порождение дополнительных ограничений в задачах алгебраического криптоанализа при помощи SAT-оракулов А. А. Семёнов, К. В. Антонов, И. А. Грибанова		104–110
	Choosing parameters for one $\mathrm{IND}$-$\mathrm{CCA2}$ secure McEliece modification in the standard model Y. V. Kosolapov, O. Y. Turchenko		110–114
	An improvement of cryptographic schemes based on the conjugacy search problem V. A. Roman'kov		114–118
Математические основы компьютерной безопасности
	О конфиденциальности транзакций в децентрализованных системах учёта токенов Л. Р. Ахметзянова, А. А. Бабуева, С. Н. Кяжин, В. А. Попов		119–125
	О приемах по доработке согласованного описания МРОСЛ ДП-модели для ОС и СУБД с целью его верификации инструментами Rodin и ProB П. Н. Девянин, М. А. Леонова		126–132
	Метод обеспечения конфиденциальности данных на основе zk-SNARK Д. О. Кондырев		132–134
	Деобфускация Control Flow Flattening средствами символьного исполнения В. В. Лебедев		134–138
	Применение расширений архитектуры x86 в защите программного кода Р. К. Лебедев, И. А. Корякин		138–140
	Повышение эффективности поиска уязвимостей с использованием технологии фаззинга в виртуальных машинах JavaScript М. С. Недяк		140–146
	Расширение и исследование метода сокрытия информации Deep Steganography А. А. Николаев		146–148
	Адаптация метода Розенблатта — Парзена для экспериментальной оценки надёжности вычислительной системы В. С. Никулин		148–153
Прикладная теория кодирования и графов
	Базисы над полем $\mathrm{GF(2)}$, порождённые при помощи операции Шура – Адамара К. Л. Геут, С. С. Титов		154–158
	О разложимости произведения Шура — Адамара суммы тензорных произведений кодов Рида — Маллера Ю. В. Косолапов, Е. А. Лелюк		158–161
	Регулярное вершинное $1$-расширение двухмерных решёток А. А. Лобов, М. Б. Абросимов		161–163
	Об аттракторах в одной дискретной двоичной динамической системе с двудольным графом зависимостей Р. И. Пантелеев, А. В. Жаркова		163–165
	Схемы построения минимальных вершинных $1$-расширений полных двухцветных графов П. В. Разумовский, М. Б. Абросимов		165–168
	Towards the security of McEliece's cryptosystem based on Hermitian subfield subcodes G. P. Nagy, S. El Khalfaoui		168–175
Математические основы информатики и программирования
	О решении полиномиальных грамматик и общего алгебраического уравнения О. И. Егорушкин, И. В. Колбасина, К. В. Сафонов		176–178
	О генерической сложности проблемы изоморфизма конечных полугрупп А. Н. Рыбалов		178–180
Вычислительные методы в дискретной математике
	Об эвристическом подходе к построению биективных векторных булевых функций с заданными криптографическими характеристиками М. А. Коврижных, Д. Б. Фомин		181–184
	О некоторых подгруппах бернсайдовой группы $B_0(2,5)$ А. А. Кузнецов, А. С. Кузнецова		184–186
	DPLL-подобный решатель задачи выполнимости над системой уравнений в АНФ А. В. Ткачев, К. В. Калгин		187–190