Yükseköğretim Kurumları tarafından destekli bilimsel araştırma projesiTamamlandıULUSAL

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

Proje bilgileri

Destek kurumu

Yükseköğretim Kurumları tarafından destekli bilimsel araştırma projesi

Süre

31.01.2022 – 30.07.2022

Birim

Mühendislik ve Doğa Bilimleri Fakültesi • Bilgisayar Mühendisliği Programı