Конфиденциальные и проверяемые вычисления
Научная школа развивает методы распределенных и децентрализованных вычислений в условиях частичного недоверия, что критически важно для современной безопасности данных и цифровой экономики. Исследования в области конфиденциальных и проверяемых вычислений обеспечивают защиту приватности данных и гарантию корректности вычислений без их повторного выполнения. Разработка протоколов с постквантовой стойкостью имеет стратегическое значение для долгосрочной безопасности систем машинного обучения, блокчейна и других критических инфраструктур.
• Руководитель программы магистратуры «Безопасность данных и криптография» • Главный научный сотрудник ИИКС НИЯУ МИФИ • Начальник отдела научных исследований Исследовательского центра искусственного интеллекта в сфере транспорта и логистики • Автор статей в области информационной безопасности и защиты информации
• Руководитель программы магистратуры «Безопасность данных и криптография» • Главный научный сотрудник ИИКС НИЯУ МИФИ • Начальник отдела научных исследований Исследовательского центра искусственного интеллекта в сфере транспорта и логистики • Автор статей в области информационной безопасности и защиты информации
Конфиденциальные вычисления
Конфиденциальные вычисления позволяют нескольким сторонам с приватными данными совместно вычислить функцию, раскрыв только итоговый результат, но не входные данные или промежуточные значения. Основное применение — конфиденциальное машинное обучение.
Проверяемые вычисления
Проверяемые вычисления позволяют убедиться в корректности выполнения алгоритма без его повторного запуска с помощью короткого криптографического доказательства. Протокол гарантирует, что проверяющий не узнает секретные данные вычисляющей стороны (нулевое разглашение). Основные применения — проверяемое машинное обучение и безопасность блокчейна.
Шевченко В.А., Запечников С.В. Обеспечение конфиденциальности применения предварительно обученных графовых нейронных сетей с механизмом внимания // Вопросы кибербезопасности, 2024. - Вып. 5. - С. 18-27.
Афонин В.Д., Запечников С.В., Простов И.А. Анализ возможностей применения алгоритма ГОСТ 34.11-2018 в системах доказательства с нулевым разглашением // Безопасность информационных технологий, 2024. - Т. 31, Вып. 2. - С. 81-89
Запечников С.В., Конкин А.Ю. Обеспечение конфиденциальности информации в системах распределенного реестра посредством доказательств с нулевым разглашением // Безопасность информационных технологий, 2024. - Т. 31, Вып. 1. - С. 75-85
Konkin A., Zapechnikov S. Systematization of knowledge: privacy methods and zero knowledge proofs in corporate blockchains // Journal of Computer Virology and Hacking Techniques, 2024. – Vol. 20. – Pp. 219-224.
Konkin A., Zapechnikov S. Zero knowledge proof and ZK-SNARK for private blockchains // Journal of Computer Virology and Hacking Techniques, 2023. – Vol. 19. – Pp. 443-449.