

Ασφάλεια και Προστασία Λογισμικού
Το μάθημα καλύπτει θεμελιώδεις τεχνικές ανάλυσης προγραμμάτων που βασίζονται σε τύπους και λογικές, με στόχο τον εντοπισμό μη επιτρεπτής συμπεριφοράς, την επαλήθευση της απουσίας της και τη διερεύνηση εργαλείων που υλοποιούν αυτές τις τεχνικές.







































