Desteklenen Projeler
-
2021 - 2023 Kuantum Sonrası Kriptografik Protokollerin Biçimsel Analizi ve Doğrulanması (FAVPQC)
-
2022 - 2022 Maude-NPA ve Proverif Araçları ile Kriptografik Protokollerin Güvenlik Analizi için Yazılım Kütüphanesinin Oluşturulması
-
2019 - 2021 NTRU Tabanlı Kriptosistemlerin Tasarımı ve Biçimsel Yöntemler Ile Analizi
Akleylek S. (Yürütücü)
-
2018 - 2020 Kafes Tabanlı Güvenilir Kriptografik Protokol Tasarımı Ve Verimli Uygulamaları
Akleylek S. (Yürütücü)