Заявки, поступившие на
16 ВСЕРОССИЙСКУЮ КОНФЕРЕНЦИЮ
«СИБИРСКАЯ НАУЧНАЯ ШКОЛА-СЕМИНАР С МЕЖДУНАРОДНЫМ УЧАСТИЕМ
“КОМПЬЮТЕРНАЯ БЕЗОПАСНОСТЬ И КРИПТОГРАФИЯ”» –
SIBECRYPT'17


Лекции и пленарные доклады
Колегов Д.Н. (Томск). Математические аспекты и проблемы Web Application Firewall

Секционные доклады
Теоретические основы прикладной дискретной математики

Бабуева А.А. (Москва). О некоторых связях расщепляемости булевых функций с их криптографическими свойствами
Бондаренко Л.Н., Шарапова М.Л. (Сергиев Посад, Москва).  Обобщенные 312-избегающие перестановки и преобразование Лемера
Геут К.Л., Титов С.С. (Екатеринбург). О понижении порядка линейных рекуррентных уравнений с постоянными коэффициентами
Григорьев В.С., Фомичёв В.М. (Москва). О примитивности перемешивающих орграфов обратимых преобразований
Заец М.В. (Москва). Разрядно-полиномиальное построение подстановок над кольцом Галуа
Кузнецов А.А., Кузнецова А.С. (Красноярск). Графы Кэли некоторых конечных групп периода 5 и их приложения
Медведев Н.В., Титов С.С. (Екатеринбург). Об однородных матроидах и блок-схемах
Облаухов А.К. (Новосибирск). О метрически регулярных множествах

Дискретные функции

Панков К.Н. (Москва). Уточнённые асимптотические оценки для числа (n, m, k)-устойчивых двоичных отображений
Сошин Д.А. (Москва). Способ представления подстановок S_16 с помощью алгебраических пороговых функций
Черемушкин А.В. (Москва). Условие однозначности разложения в сумму функций при линейной замене переменных
Шурупов А.Н. (Москва). Описание некоторых декомпозиций для квадратичных булевых пороговых функций

Математические методы криптографии и стеганографии

Аборнев А.В. (Москва). Рекурсивно порождённые подстановки на двоичном векторном пространстве
Авезова Я.Э. (Москва). О примитивности некоторых множеств перемешивающих орграфов регистровых преобразований
Азизова Д.Г., Гурьянова О.И. Обеспечение скрытности дополнительной информации, закодированной методом Коха – Жао
Бабенко Л.К., Маро Е.А. (Таганрог). Применение алгоритмов решения проблемы булевой выполнимости формул для оценки стойкости блочных шифров семейства ГОСТ к алгебраическому криптоанализу
Бабкин С.С., Береснева А.В., Епишкина А.В., Курнев А.С., Лермонтов М.Ю. (Москва). Об алгоритмах верификации собственноручной подписи
Геут К.Л., Кириенко К.А., Садков П.О., Таскин Р.И., Титов С.С. (Екатеринбург). О явных конструкциях для решения задачи "A Secret Sharing"
Грачёва Е.Ю., Товштейн М.Я. (Набережные Челны). Криптограмма прячется в ассемблер-коде
Гурьянова О.И., Лихолоб П.Г., Прохоренко Е.И. Алгоритмы выявления участков активности речи, используемые в задачах стеганографии
Ефремова А.А., Гамова А.Н. Самопрограммируемые клеточные автоматы в криптографии
Жуков К.Д. (Москва). Дискретное логарифмирование в специальном случае
Заикин О.С., Отпущенников И.В., Семенов А.А. (Иркутск). Сравнительный анализ стойкости шифров MISTY-1 и KASUMI к криптоанализу на основе алгоритмов решения проблемы булевой выполнимости
Зорина Н.А., Косолапов Ю.В. (Ростов-на-Дону). Построение (k,n)-схемы визуальной криптографии на основе класса линейных хэш-функций
Кирюткина В.В. (Москва). Квадрат кода Рида – Маллера и классы эквивалентности секретных ключей криптосистемы Мак-Элиса – Сидельникова
Коренева А.М. (Москва). Сравнение экспонентов перемешивающих орграфов регистровых преобразований с одной и двумя обратными связями
Коренева А.М., Лолич Д.М., Фомичёв В.М., Юзбашев А.В. (Москва). Об индуктивном способе построения алгоритма реализации s-боксов большого размера
Лихолоб П.Г., Мишина О.О. Оценка эффективности стеганографических методов аутентификации речевых сигналов
Медведева Н.В., Титов С.С. (Екатеринбург). О проблеме описания неэндоморфных совершенных по Шеннону шифров
Нестеренко А.Ю., Пугачев А.В., Семенов А.М. (Москва). О новом алгоритме выработки ключа из пароля
Овчинников П., Фомичёв В.М. (Москва). Алгоритмические вопросы построения s-боксов размера 4x4
Романько Д.А., Фомичев В.М. (Москва). О свойствах итеративных блочных алгоритмов, связанных с перемешиванием элементов ключа
Романьков В.А. (Омск). Методы криптографического анализа систем алгебраической криптографии
Фомичёв В.М., Колесова Д.М. (Москва). О свойствах трехкаскадного генератора с перемежающимся шагом, построенного на основе схемы движения “стоп-вперед”
Чередник И.В. (Москва). Об одном подходе к построению транзитивного множества блочных преобразований

Математические основы компьютерной безопасности

Богульская Н.А., Кучеров М.М. (Красноярск). Модель защищённых коммуникаций
Девянин П.Н. (Москва). Реализация невырожденной решётки уровней целостности в рамках иерархического представления МРОСЛ ДП-модели
Шипулин П.М. (Красноярск). Обнаружение стеганографических каналов по времени в сетевом трафике

Математические основы надёжности вычислительных и управляющих систем

Алехина М.А., Барсукова О.Ю. (Пенза). Надёжность схем в базисе Россера – Туркетта (в P_3) при неисправностях типа 0 на выходах элементов
Алехина М.А., Барсукова О.Ю. (Пенза). О надёжности схем в некоторых полных базисах (в P_3) при инверсных неисправностях на выходах элементов
Алехина М.А., Гусынина Ю.С., Шорникова Т.А. (Пенза). Верхняя оценка ненадёжности схем, реализующих булевы функции, при произвольных неисправностях элементов
Грабовская С.М. (Пенза). Верхняя оценка ненадёжности неветвящихся программ при однотипных константных неисправностях на входах вычислительных операторов

Прикладная теория кодирования, автоматов и графов

Воблый В.А. (Москва). О числе остовных деревьев в помеченном кактусе
Кяжин С.Н. (Москва). Строение локально примитивных орграфов
Соколова А.А. (Москва). Применение рёберного локального дополнения в структурном анализе криптосистемы Мак-Элиса
Фомичев В.М. (Москва). О характеристиках локально примитивных орграфов и матриц

Математические основы информатики и программирования

Гоцуленко В.В. (Киев). К задаче о циклической перестановке элементов одномерного массива
Отпущенников И.В. (Иркутск). Верификация программных реализаций криптографических примитивов с использованием байт-кода виртуальных машин
Сафонов К.В., Егорушкин О.И., Колбасина И.В. (Красноярск). Аналог теоремы о неявном отображении для грамматик формальных языков
Чушкин М.С. (Новосибирск). Синтез предикатных программ методом унификации

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

Грибанова И.А. (Иркутск). Обращение криптографических хеш-функций с использованием несбалансированных приближений раундовых функций
Дронов С.В., Евдокимов Е.А. (Барнаул). Ранжирование показателей, формирующих кластерное разбиение, на основе коэффициентов относительного сходства
Лапиков И.И. (Москва). О возможности применения метода эллипсоидов Хачияна для распознавания пороговых функций
Никонов В.Г., Шурупов А.Н. (Москва). Применение пороговых приближений для решения систем нелинейных уравнений в методе разделяющих плоскостей
Огородников Ю.Ю. (Омск). Распознавание бит сомножителей в задаче факторизации целых чисел с помощью сведения к задаче SAT
Солдатенко А.А. (Красноярск). Двухфазный алгоритм маршрутизации в нестационарных сетях

Математические основы интеллектуальных систем

Бородулина Е.Н. (Ростов-на-Дону). Математическая модель согласования ситуационного и системного управления в интеллектуальной среде поддержки жизненного цикла сложной социотехнической системы
Быкова В.В. (Красноярск). Избыточность и сжатое представление строгих ассоциативных правил
Катаева А.В. (Красноярск). Сжатое представление строгих ассоциативных правил в интеллектуальном анализе данных
Автор: Организационный комитетДата: 2017-03-25 17:23:00
 

 

Добро пожаловать,
Гость