Kuantum Sonrası Kriptografik Protokollerin Biçimsel Analizi ve Doğrulanması (FAVPQC)

---

Akleylek S. (Yürütücü)

TÜBİTAK Uluslararası Çoklu İşbirliği Projesi , EIG CONCERT-Japan Projesi, 2021 - 2023

• Proje Türü: TÜBİTAK Uluslararası Çoklu İşbirliği Projesi
• Destek Programı: EIG CONCERT-Japan Projesi
• Başlama Tarihi: Haziran 2021
• Bitiş Tarihi: Aralık 2023