Кафедра математичних методів захисту інформації (ММЗІ)

Постійне посилання на фонд

https://ela.kpi.ua/handle/123456789/439

Переглянути

Перегляд Кафедра математичних методів захисту інформації (ММЗІ) за Автор "Бещук, Андрій Андрійович"

Зараз показуємо 1 - 2 з 2
  • Ескіз
    ДокументВідкритий доступ
    Аналіз загроз при повторному використанні налаштування у протоколі GRO-16
    (КПІ ім. Ігоря Сікорського, 2020-06) Бещук, Андрій Андрійович; Ковальчук, Людмила Василівна
    Кваліфікаційна робота містить: 63 стор., 1 рисунок, 0 таблиць, 15 джерел. Метою даної роботи є аналіз вразливостей протоколу доведення без розголошення типу zk-SNARK GRO-16 та умов, за яких ці вразливості будуть критичними. Об’єктом дослідження є процес захисту персональних даних при виконанні транзакцій у блокчейні. Предметом дослідження є атаки на протокол захисту персональних даних у блокчейні за умови повторного використання налаштування. Було покроково розглянуто етап SETUP доведень без розголошення типу zk-SNARK, та розроблені алгоритми побудови формування множини налаштування. Були проаналізовані вразливості сценарію розпаралелювання формування налаштування та розроблені п’ять атак на протокол GRO-16. Вони ґрунтуються на людському факторі та змові декількох учасників. Також, були запропоновані механізми захисту від наведених у цій роботі атак, як алгоритмічні, так і із використанням пристроїв третьої сторони.
  • Ескіз
    ДокументВідкритий доступ
    Побудова загальної моделі STARK–доведень для підтвердження коректності отриманих результатів
    (КПІ ім. Ігоря Сікорського, 2022-05) Бещук, Андрій Андрійович; Ковальчук, Людмила Василівна
    Метою даною роботи є аналiз iснуючих пiдходiв до доведень без розголошення, зокрема, STARK-доведень, та побудова загальної моделi iнтерактивного та неiнтерактивного STARK-доведення. Об’єктом дослiдження. Об’єктом дослiдження є процес захисту персональних даних при виконаннi автентифiкацiї та авторизацiї. Предметом дослiдження є STARK-протоколи та побудова загальної моделi та алгоритму STARK-протоколу. Були розглянутi рiзнi приклади застосування STARK-доведень, був побудований загальний вигляд STARK-протоколу, його алгоритм, проаналiзованi умови, коли можна створити STARK-доведення, та була оцiнений час його роботи та довжина доведення.