Maude-NPA ve Proverif Araçları ile Kriptografik Protokollerin Güvenlik Analizi için Yazılım Kütüphanesinin Oluşturulması

Akleylek S. (Yürütücü), Soysaldı Şahin M., Seyhan K.

Yükseköğretim Kurumları Destekli Proje, 2022 - 2022

• Proje Türü: Yükseköğretim Kurumları Destekli Proje
• Başlama Tarihi: Ocak 2022
• Bitiş Tarihi: Temmuz 2022