|Introduction to Security (semester 1 - 5 ECTS)||
Lecturer: Pierre-Alain Fouque
|Software engineering and Security (semester 1 - 5 ECTS)||In this course we study the principles behind robust and reliable software architectures, such as defensive programming, assertion-based specification, fault detection and recovery, testing techniques for robustness assessment, techniques for safe API definition.
Lecturer: Noël Plouzeau
|Operating Systems and Security (semester 1 - 5 ECTS)||In this course, we will develop how works an operating system
(user/kernel space, processus, memory management, Input/output), using
the C Programming Language, and processor architecture (registers,
stack, MMU), as well as some Security Mechanisms (Authentication,
Access Control, Overflows Attacks).
Lecturer: Isabelle Puaut
|Network Security (semester 1 - 5 ECTS)||In this course, we will develop the principles of Firewalls, IDS
(signature-, anomaly-based), IPsec (IKE), Malware, Remote Attacks,
Protocol Attacks (ARP, DNS, Routing, ICMP), Non-IP Network Security
(SS7, layer 2), Mobile Networks (WLAN).
Example Literature: William Stallings: Network Security – Principles
|Algorithmics for security (semester 2 - 5 ECTS||In this course, we will develop the principles of Cryptography:
Cryptanalysis, Randomness, Adversary Models, Zero-Knowledge,
Literature: Henk van Tilborg: Fundamentals of Cryptology, Vaudenay: A
Classical Introduction to Cryptography, Stinson: Cryptography: Theory
Lecturer: Patrick Derbez
|Privacy (semester 2 - 5 ECTS)||In this course, we will develop the principles of Privacy, Data
Protection, Legal Basis, Privacy Enhancing Technologies, Privacy by
Design, Privacy Assessment, Location Privacy.
Lecturer: Tristan Allard
|System Security (semester 2 - 5 ECTS)||In this course, we will develop Secure Boot (UEFI, TPM), Local and
Network authentification (PAM, NTLM, Kerberos, Password Storage),
Access Control (privilege), Security of File Systems (integrity check,
encryption of data), Kernel and Application Protection, Log Files.
|Software Security (semester 2 - 5 ECTS)||Language-level security, Application-level security, Webbased Attacks
(OWASP), Formal verification, Sandboxing, Isolation.
Example Literature: Gary McGraw: Software Security Library.
Innovation and entrepreneurship courses
The curriculum contains four courses, described here.