Desteklenen Projeler
4
-
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ı
Yükseköğretim Kurumları Destekli Proje , BAP Araştırma Projesi
Soysaldı Şahin M., Akleylek S. (Yürütücü), Seyhan K.
-
2019 - 2021 NTRU Tabanlı Kriptosistemlerin Tasarımı ve Biçimsel Yöntemler Ile Analizi
-
2018 - 2020 Kafes Tabanlı Güvenilir Kriptografik Protokol Tasarımı Ve Verimli Uygulamaları
Patent
1