WS 2023 IT Sicherheit (IN0042) Operational Technology Security Binary Exploitation Formal Methods in IT Security Concepts of Trust Establishment Selected Topics of Protocol Security Advanced Binary Exploitation Verifiable Computation