Eğitim programı hakkında
Bilinen ve yeni keşfedilen güvenlik açıklarının analizi, sistematikleştirilmesi, yeni güvenlik açığı sınıflarının akıllı aranması için yöntemler geliştirilmesi. Bilgi güvenliği politikalarının, tehditlerin ve saldırıların modellenmesi, koruma profillerinin geliştirilmesi için metodolojik temel. Yazılım sistemlerindeki potansiyel güvenlik açıklarını tespit etmek için gereksinim geliştirme, mimari tasarım, yazılım kodu geliştirme, test etme, doğrulama, sertifikasyon ve işletme gibi yaşam döngüsü aşamalarının özgüllüğü göz önünde bulundurularak programların tasarım, modelleme, analiz, dönüşüm yöntemleri. Yazılım ve donanım güvenliğinin yayın sonrası derinlemesine analizi yöntemleri, algoritmaları ve araçları.