ГРИБАНОВА Ирина Александровна
Год начала подготовки | 2015 | Форма обучения | очная |
Направление подготовки | 09.06.01 «Информатика и вычислительная техника» | ||
Направленность (научная специальность) | 05.13.18 «Математическое моделирование, численные методы и комплексы программ» | ||
Научный руководитель | Семенов Александр Анатольевич, к.т.н., доцент | ||
Тема диссертационной работы | Применение алгоритмов решения проблемы булевой выполнимости к задачам обращения криптографических хеш-функций (Утв. Ученым советом ИДСТУ СО РАН 03.11.2015, протокол № 5) |
Список опубликованных научных трудов
за первый год обучения
- Богачкова (Грибанова) И.А., Заикин О.С., Кочемазов С.Е., Отпущенииков И.В., Семёнов А.А. Применение алгоритмов решения проблемы булевой выполнимости к криптоанализу хеш-функций семейства MD // Прикладная дискретная математика. Приложение. — 2015. — № 8. — С. 139–142.
- Грибанова И.А. Исследование задачи обращения хеш-функции MD4 при помощи SAT-подхода // Материалы конференции «Ляпуновские чтения» (г. Иркутск, 30 ноября – 2 декабря 2015 г.). — Иркутск: ИДСТУ СО РАН, 2015. — С. 26.
- Грибанова И.А. Применение алгоритмов решения проблемы булевой выполнимости к построению разностных путей в задачах поиска коллизий криптографических хеш-функций семейства MD // Прикладная дискретная математика. Приложение. — 2016. — № 9. — С. 129–132. — (doi.org/10.17223/2226308X/9/51). (РИНЦ)
- 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)
за второй год обучения
- Грибанова И.А. Построение новых дифференциальных путей для задачи поиска коллизий хеш-функции MD4 // Материалы конференции «Ляпуновские чтения» (г. Иркутск, 21 ноября – 23 ноября 2016 г.). — Иркутск: ИДСТУ СО РАН, 2016. — С. 28.
- 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)
- 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. (РИНЦ)
- Грибанова И.А. Несбалансированные приближения булевых функций в применении к обращению криптографических хеш-функций // Материалы XVIII Всерос. конф. молодых ученых по математическому моделированию и информационным технологиям (г. Иркутск, 21–25 августа 2017 г.). — Иркутск: ИДСТУ СО РАН, 2017. — С. 72.
за третий год обучения
- Грибанова И.А. Новый алгоритм генерации дополнительных ограничений для задачи обращения 39-шагового варианта хеш-функции MD4 // Материалы конференции «Ляпуновские чтения» (г. Иркутск, 5–8 декабря 2017 г.). — Иркутск: ИДСТУ СО РАН, 2017. — С. 16.
- 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)
- Грибанова И.А. Новый алгоритм порождения ослабляющих ограничений в задаче обращения хеш-функции MD4-39 // Прикладная дискретная математика. Приложение. — 2018. — № 11. — С. 139–141. (РИНЦ)
за четвертый год обучения
- Грибанова И.А., Семенов А.А. О функциях, порождаемых ослабляющими ограничениями в задачах поиска прообразов хеш-функций семейства MD4-k // Материалы конференции «Ляпуновские чтения» (г. Иркутск, 3–5 декабря 2018 г.). — Иркутск: ИДСТУ СО РАН, 2018. — С. 32.
Дипломы конкурсов
Диплом за победу на конкурсе на лучший доклад на XVIII Всероссийской конференции молодых учёных по математическому моделированию (г. Иркутск, 21–25 августа 2017 г.) |