The course encompasses three separate modules that will be held in the second semester.
- "Security and privacy of machine learning"
by Prof. Stjepan Picek (Radboud University, Netherlands)
March 29 - Apr 4
- "Formal verification of security protocols"
by Prof. Alessandro Bruni (IT-University of Copenhagen, Denmark).
In the Weeks Apr 17 -28
- "Trustworthy AI: Technology, Regulation, Implementation"
by Dr. Tarek R. Besold (Eindhoven University of Technology, Netherlands)
In the weeks May 22 - Jun 1
For each module, a dedicated section below will describe the content of the module and the examination modality.