This course is a short overview of vulnerabilities, classification of attacks and security tools and countermeasures. Results of various research projects in security are also presented. This course is provided for students in:
This course introduces security in IoT.
This course presents the main ideas behind buffer overflow vulnerabilities and associated protections. This course is provided for students in:
This course focuses on main web application related vulnerabilities (injection, ReDOS, etc.) with related protection mechanisms.
This course introduces formal language theory (regular languages, regular expressions, context-free languages), with corresponding machines (finite automata, pushdown automata, Turing machines). This course also applies concepts in the fields of compilation, security and obfuscation among others. This course is provided for students in: