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 , 2021 - 2023

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