Teaching
Courses Taught
-
INSE 6150: Security Evaluation Methodologies (graduate)
Security evaluation methodologies, security evaluation of software, cyber forensics.
-
INSE 7100: Design and Analysis of Security Protocols (graduate)
Security evaluation methodologies, security evaluation of software, cyber forensics.
-
SOEN 341: Software Process (undergraduate)
Security evaluation methodologies, security evaluation of software, cyber forensics.
-
SOEN 448: Management of Evolving Systems (undergraduate)
Security evaluation methodologies, security evaluation of software, cyber forensics.
-
INSE 6120: Crypto-Protocols and Network Security (graduate)
Cryptographic protocol design, description and analysis; Network security.
-
IFT 64379: Security and Formal Methods (graduate)
Méthodes formelles, sécurité, spécification et vérification de propriétés de sécurité.
-
IFT 15755: Software Engineering (undergraduate)
Security evaluation methodologies, security evaluation of software, cyber forensics.
-
IFT 10542: Programming Languages (undergraduate)
Paradigmes de calcul, sémantiques formelle, langages de programmation.