Proje Adı: Kuantum Sonrası Kriptografik Protokollerin Biçimsel Analizi ve Doğrulanması (FAVPQC)
Destekleyen Kurum: TÜBİTAK - Uluslararası CONCERT - Japan
Yürütücüsü: Prof. Dr. Sedat AKLEYLEK
Araştırmacılar: Dr. Ahmet SINAK, Araş. Gör. Meryem SOYSALDI ŞAHİN, Araş. Gör. Kübra SEYHAN, Ahmet Faruk DURSUN