1. Mehmet Emin KONUK
Yarışma Kategorisi: Bilişim ve İletişim Teknolojileri
Takım Danışmanı: Doç. Dr. Sedat AKLEYLEK (Bilgisayar Mühendisliği)
| Takım Üyeleri | Takım Üyelerinin Bölümleri |
| Mehmet Emin KONUK | Bilgisayar Mühendisliği |
| Takım, AVISPA aracı ile kriptografik protokollerin biçimsel (Formal) güvenlik analizi ve yazılım kütüphanesinin oluşturulmasını amaçlamaktadır. |
2. CYBERUS
Yarışma Kategorisi: Bilişim ve İletişim Teknolojileri
Takım Danışmanı: Araş. Gör. Meryem SOYSALDI ŞAHİN (Bilgisayar Mühendisliği)
| Takım Üyeleri | Takım Üyelerinin Bölümleri |
| Gizem DEMİRÖZ | Bilgisayar Mühendisliği |
| CYBERUS, protokollerin doğrulanmasında kullanılan araçlardan ProVerif’in sözdizimi ve nasıl kullanılacağına dair çalışmalar yaparak SSL/TLS protokolünün güvenlik analizinin yapılmasını hedeflemektedir. Bu projenin ana hedeflerden biri, anahtar değişim protokollerinin kuantum sonrası güvenliğinin Proverif analiz aracı kullanılarak analiz edilmesidir. |
3. LOCUSCAR
Yarışma Kategorisi: Sosyal Yenilikçilik ve Girişimcilik
Takım Danışmanı: Doç. Dr. Veli İLÇİ (Harita Mühendisliği)
| Takım Üyeleri | Takım Üyelerinin Bölümleri |
| Prof. Dr. Yasemin ŞİŞMAN | Harita Mühendisliği |
| Burak DOĞAN | Harita Mühendisliği |
| Arş. Gör. Hasan DİLMAÇ | Harita Mühendisliği |
| Öğr. Gör. İbrahim Murat OZULU | Harita Mühendisliği |