Kuantum Sonrası Kriptografik Protokollerin Biçimsel Analizi ve Doğrulanması
Sinak A., 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