Secure Software Development [practicals and lecture]
Model Checking [practicals]
Logic and Computability [practicals]
Lipp M., Hadzic V., Schwarz M., Perais A., Maurice C., Gruß D.
Proceedings of the 15th ACM Asia Conference on Computer and Communications Security, ASIA CCS 2020, AsiaCCS 2020: The 15th ACM ASIA Conference on Computer and Communications Security, 813–825