121R006, Kuantum Sonrası Kriptografik Protokollerin Biçimsel Analizi ve Doğrulanması (FAVPQC), Uluslararası / CONCERT-Japan, ARDEB

Akleylek S.(Yürütücü), Seyhan K., Dursun A. F.

Diğer Uluslararası Fon Programları, 2022 - 2024

• Proje Türü: Diğer Uluslararası Fon Programları
• Başlama Tarihi: Ocak 2022
• Bitiş Tarihi: Ocak 2024