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

---

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

Yükseköğretim Kurumları Destekli Proje, BAP Araştırma Projesi, 2022 - 2022

• Proje Türü: Yükseköğretim Kurumları Destekli Proje
• Destek Programı: BAP Araştırma Projesi
• Başlama Tarihi: Ocak 2022
• Bitiş Tarihi: Temmuz 2022