Пропустить навигацию.
Главная

ГРИБАНОВА Ирина Александровна

Год начала подготовки2015 Форма обученияочная

 

Направление подготовки09.06.01 «Информатика и вычислительная техника»
Направленность (научная специальность)05.13.18 «Математическое моделирование, численные методы и комплексы программ»
Научный руководительСеменов Александр Анатольевич, к.т.н., доцент
Тема диссертационной работыПрименение алгоритмов решения проблемы булевой выполнимости к задачам обращения криптографических хеш-функций
(Утв. Ученым советом ИДСТУ СО РАН 03.11.2015, протокол № 5)

 

Список опубликованных научных трудов

за первый год обучения

  1. Богачкова (Грибанова) И.А., Заикин О.С., Кочемазов С.Е., Отпущенииков И.В., Семёнов А.А. Применение алгоритмов решения проблемы булевой выполнимости к криптоанализу хеш-функций семейства MD // Прикладная дискретная математика. Приложение. — 2015. — № 8. — С. 139–142.
  2. Грибанова И.А. Исследование задачи обращения хеш-функции MD4 при помощи SAT-подхода // Материалы конференции «Ляпуновские чтения» (г. Иркутск, 30 ноября – 2 декабря 2015 г.). — Иркутск: ИДСТУ СО РАН, 2015. — С. 26.
  3. Грибанова И.А. Применение алгоритмов решения проблемы булевой выполнимости к построению разностных путей в задачах поиска коллизий криптографических хеш-функций семейства MD // Прикладная дискретная математика. Приложение. — 2016. — № 9. — С. 129–132. — (doi.org/10.17223/2226308X/9/51). (РИНЦ)
  4. Otpuschennikov I., Semenov A., Gribanova I., Zaikin O., Kochemazov S. Encoding Cryptographic Functions to SAT Using Transalg System // Proc. of 22nd European Conf. on Artificial Intelligence (ECAI 2016). Artificial Intelligence and Applications. — 2016. — Vol. 285. — P. 1594–1595. — (doi.org/10.3233/978-1-61499-672-9-1594). (Web of Science)

за второй год обучения

  1. Грибанова И.А. Построение новых дифференциальных путей для задачи поиска коллизий хеш-функции MD4 // Материалы конференции «Ляпуновские чтения» (г. Иркутск, 21 ноября – 23 ноября 2016 г.). — Иркутск: ИДСТУ СО РАН, 2016. — С. 28.
  2. Gribanova I., Zaikin O., Kochemazov S., Otpuschennikov I., Semenov A. The study of inversion problems of cryptographic hash functions from MD family using algorithms for solving boolean satisfiability problem // Proc. of the Intern. Conf. «Mathematical and Information Technologies, MIT-2016» (Vrnjacka Banja, Serbia – Budva, Montenegro, August 28 – September 5, 2016). CEUR-WS, 2017. — Vol. 1839. — P. 98–113. — URL: http://ceur-ws.org/Vol-1839/MIT2016-p10.pdf. (Scopus)
  3. Gribanova I., Zaikin O., Otpuschennikov I., Semenov A. Using parallel SAT algorithms to study the inversion of MD4 hash function // Материалы конф. «Параллельные вычислительные технологии (ПаВТ) 2017» (г. Казань, 3–7 апреля 2017 г.). — Казань: Казанский (Приволжский) федеральный университет, 2017. — C. 100–109. — URL: http://omega.sp.susu.ru/pavt2017/short/092.pdf. (РИНЦ)
  4. Грибанова И.А. Несбалансированные приближения булевых функций в применении к обращению криптографических хеш-функций // Материалы XVIII Всерос. конф. молодых ученых по математическому моделированию и информационным технологиям (г. Иркутск, 21–25 августа 2017 г.). — Иркутск: ИДСТУ СО РАН, 2017. — С. 72.

за третий год обучения

  1. Грибанова И.А. Новый алгоритм генерации дополнительных ограничений для задачи обращения 39-шагового варианта хеш-функции MD4 // Материалы конференции «Ляпуновские чтения» (г. Иркутск, 5–8 декабря 2017 г.). — Иркутск: ИДСТУ СО РАН, 2017. — С. 16.
  2. Gribanova I., Semenov A. Using automatic generation of relaxation constraints to improve the preimage attack on 39-step MD4 // Proc. of 41th Intern. Convention on Information and Communication Technology, Electronics and Microelectronics, MIPRO 2018 (Opatija, Croatia, May 21–25 2018). — IEEE, 2018. — P. 1174–1179. (SCOPUS)
  3. Грибанова И.А. Новый алгоритм порождения ослабляющих ограничений в задаче обращения хеш-функции MD4-39 // Прикладная дискретная математика. Приложение. — 2018. — № 11. — С. 139–141. (РИНЦ)

за четвертый год обучения

  1. Грибанова И.А., Семенов А.А. О функциях, порождаемых ослабляющими ограничениями в задачах поиска прообразов хеш-функций семейства MD4-k // Материалы конференции «Ляпуновские чтения» (г. Иркутск, 3–5 декабря 2018 г.). — Иркутск: ИДСТУ СО РАН, 2018. — С. 32.

 

Дипломы конкурсов

Диплом за победу на конкурсе на лучший доклад на XVIII Всероссийской конференции молодых учёных по математическому моделированию (г. Иркутск, 21–25 августа 2017 г.)

 

Министерство науки и высшего образования Российской Федерации Российская академия наук (РАН) Сибирское отделение Российской академии наук (СО РАН) Отделение нанотехнологий и информационных технологий РАН (ОНИТ РАН) Иркутский филиал СО РАН (ИрФ СО РАН) Иркутский государственный университет (ИГУ) Иркутский национальный исследовательский технический университет (ИрНИТУ) Российский научный фонд Российский фонд фундаментальных исследований Институт систем энергетики им. Л.А. Мелентьева (ИСЭМ СО РАН)
Наука в Сибири Наука Приангарья Агентство научный новостей