Миронов Андрей Михайлович (кандидат физико-математических наук, доцент)

• Курсовая работа (2024): Автоматизированная верификация криптографических протоколов на основе интеллектуальной системы верификации ProVerif.
• Курсовая работа (2023): Верификация протокола Kerberos.
• Курсовая работа (2022): Обзор на протокол тайного голосования ElectAnon.
• Дипломная работа (2025): Формальная верификация протокола консенсуса, обладающего византийской отказоустойчивостью, посредством системы дедуктивной верификации протоколов.