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.

TÜBİTAK Uluslararası Çoklu İşbirliği Projesi , 2022 - 2023

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