Савчук М.М.

Дослідження методів криптографічного аналізу систем захисту інформації в класичній та квантовій моделях обчислень з урахуванням додаткових даних та умов функціонування

Побудовано моделі для немарковських SP-мереж, які використовують декілька різних S - блоків на одному раунді шифрування, уточнено алгоритми обчислення верхніх меж ймовірностей диференціалів. Розроблено критерії практичного відбору ARX- криптопримітивів з певними властивостями на основі автоматичного оцінювання стійкості. Проведено криптоаналіз нового стандарту блокового шифрування України "Калина" та окремих вузлів стандарту блокового шифрування республіки Білорусь СТБ 34.101.31-2011 «BeLT».

Дослідження та застосування методів криптоаналізу важкооборотних криптографічних перетворень в класичній та квантовій моделі обчислень

Модифіковано та розвинуто методи криптоаналізу важкооборотних криптографічних перетворень в класичній та квантовій моделі обчислень. Побудовано нові статистичні критерії визначення властивостей та характеристик випадкових, псевдовипадкових послідовностей та генераторів таких послідовностей. Розроблено методи обчислення аналітичних оцінок стійкості немарковських симетричних блочних шифрів до диференціального та лінійного криптоаналізу із урахуванням особливостей внутрішньої структури шифру.

Сучасні методи аналізу і синтезу криптографічних алгоритмів та протоколів

Мета роботи полягає в оцінюванні ефективності криптографічного захисту для певних типів криптосистем, отриманні оцінок їх стійкості відносно атак в залежності від умов, в яких вони функціонують, а також - у використанні нових методів для удосконалення систем криптографічного захисту інформації з урахуванням різних моделей обчислень та перспектив розвитку сучасних напрямків криптоаналізу, засобів обчислювальної техніки.

Дослідження стійкості і ефективності криптографічних алгоритмів захисту інформації та їх реалізацій з використанням додаткових даних

Мета роботи полягає в удосконаленні, розвитку та створенні нових ефективних методів, процедур побудови та оцінювання ефективності криптографічних атак на системи захисту інформації з використанням додаткових даних, отриманні оцінок стійкості систем криптографічного захисту інформації відносно таких атак, а також у використанні нових методів для визначення напрямків та способів удосконалення апаратних та програмних реалізацій алгоритмів криптографічного захисту, що враховують новітні атаки з використанням інформації з побічного каналу, даних про збої, час виконання окремих операцій працюючою

Алгебраїчно-ймовірнісні методи дослідження стійкості криптографічних алгоритмів і протоколів

Мета роботи полягає у розробці та удосконаленні алгебраїчно-ймовірнісних методів дослідження криптографічних перетворень, аналізу симетричних та асиметричних алгоритмів шифрування, способів автентифікації, криптографічних протоколів з урахуванням останніх досягнень криптології і застосування результатів для оцінки стійкості та ефективності сучасних криптосистем та криптографічних протоколів, удосконалення методів криптографічного захисту інформації.