Жигаревич, О., Охочий, М. і Шукалович , І. (2024) «РОЗРОБКА ТА ДОСЛІДЖЕННЯ СИСТЕМИ ДЛЯ АНАЛІЗУ КРИПТОГРАФІЧНИХ ПРОТОКОЛІВ», Міжнародна науково-практична конференція "Проблеми комп’ютерних наук, програмного моделювання та безпеки цифрових систем". Луцьк-Світязь, 13–16 червн. 2024 р, с. 30. доступний у: https://apcssm.vnu.edu.ua/index.php/conf/article/view/95 (дата звернення: 28 Лютий 2026).