Ігнатенко С. М. Методи розв’язання задачі LPN над скінченними кільцями для оцінювання стійкості симетричних постквантових шифросистем

У дисертації розв’язано актуальну наукову задачу розробки більш ефективних (в порівнянні з перебірним) методів розв’язання задачі LPN над скінченними кільцями для оцінювання стійкості симетричних постквантових шифросистем. Вперше отримано аналітичні оцінки обсягу матеріалу, достатнього для розв’язання із заданою достовірністю задачі LPN над довільним скінченним кільцем, які дозволяють визначити часову складність узагальненого алгоритму BKW. Розроблено два методи підвищення ефективності розв’язання задачі LPN за допомогою ММП. Вперше розроблено метод побудови нових алгоритмів розв’язання СР над кільцем за довільною скінченною сукупністю вхідних таких алгоритмів. Наведено аналітичні вирази оцінок достовірності та часової складності алгоритмів розв’язання СР, які будуються за допомогою розробленого методу, через відповідні характеристики вхідних алгоритмів. Головним практичним результатом роботи є можливість оцінювати стійкість симетричних шифросистем, які будуються над скінченними кільцями та базуються на складності розв’язання задачі LPN. Ключові слова: симетрична постквантова шифросистема, задача LPN, часова складність алгоритму, метод максимуму правдоподібності, узагальнений алгоритм BKW, скінченне кільце, обґрунтування стійкості, система лінійних рівнянь зі спотвореними правими частинами.