SS 2023 Formal Methods in IT Security Common Flaws in Protocol Security Hardware Security Binary Exploitation Low-Level Software Security Kryptografie Netzwerke fuer den Zahlungsverkehr IT Sicherheit 2 Software Security Analysis Applications of Quantum Computing in IT Security Operational Technology Security Formal Methods in IT Security Software Security Analysis Hardware Security