Розробка методології автоматизованого аналізу вразливостей програмного забезпечення з використанням технік символьного виконання та фазингу
Вантажиться...
Дата
2025
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
НН ФТІ, КПІ ім. Ігоря Сікорського
Анотація
Актуальність дослідження зумовлена зростаючою потребою в ефективних методах автоматичного виявлення вразливостей програмного забезпечення для підвищення кібербезпеки. Метою даної роботи є дослідження та обґрунтування перспективності поєднання технік символьного виконання та фазингу для більш глибокого та всебічного аналізу програм на наявність потенційних слабких місць. Предметом дослідження є методи автоматизованого аналізу вразливостей програмного забезпечення, зокрема фазинг та символьне виконання, а також їхні комбінації.
Опис
Ключові слова
Бібліографічний опис
Маринкевич, О. М. Розробка методології автоматизованого аналізу вразливостей програмного забезпечення з використанням технік символьного виконання та фазингу / Маринкевич О. М. // Theoretical and Applied Cybersecurity : Матеріали ІІІ Всеукраїнської науково-практичної конференції (TACS-2025), [Київ], 29 травня 2025 р. / НН ФТІ, КПІ ім. Ігоря Сікорського. - Київ, 2025. - С. 192-195.