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