Projeler

Proje Adı: Kuantum Sonrası Kriptografik Protokol Bileşenlerinin Verimlilik Analizi ve Yazılım/Donanım Uygulamaları (TÜBİTAK-116E279)
Yürütücüsü: Sedat Akleylek
Süresi: 01.06.2017-01.06.2019

Proje Adı: Siber Güvenlik ve Kriptoloji Laboratuvarı (PYO.MUH.1906.17.00)
Yürütücüsü: Sedat Akleylek
Süresi: 01.09.2017-01.03.2019

Proje Adı: Kafes Tabanlı Güvenilir Kriptografik Protokol Tasarımı ve Verimli Uygulamaları (TÜBİTAK 1003 Öncelikli Alanlar – 117E636)
Yürütücüsü: Sedat Akleylek
Süresi: 15.04.2018-15.04.2020

Proje Adı: Design and Analysis of NTRU-based Cryptosystems Using Formal Methods (TÜBİTAK & SRNF Uluslararası – 118E312)
Yürütücüsü: Sedat Akleylek
Süresi: 15.02.2019-15.02.2021

Proje Adı: Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (FAVPQC) (EIG Concert Japan – 121R006)
Yürütücüsü: Sedat Akleylek
Süresi: 01.06.2021-01.12.2023