[Advanced Lecture] Attacks Against Machine Learning Models | Yang Zhang | |
[Advanced Lecture] Distributed Graph Algorithms | Sebastian Brandt | |
[Advanced Lecture] Foundations of Web Security | Ben Stock | |
[Advanced Lecture] IT Forensics | Christoph Sorge | |
[Advanced Lecture] Optimization for Machine Learning | Sebastian Stich | |
[Advanced Lecture] Parameterized Algorithms | Dániel Marx, Roohani Sharma | |
[Advanced Lecture] Physical-Layer Security | Nils Ole Tippenhauer | |
[Advanced Lecture] Post Quantum Cryptography | Nabil Alkeilani Alkadri, Nico Döttling | |
[Advanced Lecture] Privacy-Enhancing Technologies | Wouter Lueks | |
[Advanced Lecture] Recht der Cybersicherheit - datenschutzrechtliche Aspekte | Ajla Hajric, Marc Rose, Simone Salemi, Christoph Sorge, Bianca Steffes | |
[Advanced Lecture] Reverse Engineering and Exploit Development For Embedded Systems | Ali Abbasi | |
[Basic Lecture] Foundations of Cybersecurity 2 | Michael Schwarz | |
[Core Lecture] Cryptography | Antoine Joux, Julian Loss | |
[Project] CySec Project Summer Term '23 | CISPA | |
[Proseminar] Ethics in Security Research | Divyanshu Bhardwaj, Katharina Krombholz | |
[Proseminar] Optimization Methods for Large-Scale Machine Learning | Sebastian Stich | |
[Proseminar] Physical-Layer Security | Nils Ole Tippenhauer | |
[Proseminar] Seminal Papers in Security Protocol Verification | Cas Cremers, Alexander Dax, Niklas Medinger | |
[Proseminar] Theory on Consensus | Christoph Lenzen | |
[Seminar] Cryptographic Authentication | Lucjan Hanzlik | |
[Seminar] Data-driven Understanding of the Disinformation Epidemic | Yang Zhang | |
[Seminar] Do we really need overparameterization in deep learning? | Rebekka Burkholz | |
[Seminar] Formal Compiler Security | Xaver Fabian, Matthis Kruse, Faezeh Nasrabadi, Robert Künnemann | |
[Seminar] Formal Methods for AI Safety | Rayna Dimitrova | |
[Seminar] Hardware Security | Ali Abbasi | |
[Seminar] Hyperproperties | Raven Beutner, Norine Coenen, Arthur Correnson, Matthias Cosler, Bernd Finkbeiner, Florian Kohn, Julian Siber | |
[Seminar] Machine Learning Security | Lea Schönherr | |
[Seminar] Opportunities and Risks of Large Language Models and Foundation Models | Mario Fritz | |
[Seminar] Reproducibility in Computer Security | Thorsten Holz | |
[Seminar] Specification-Based Testing and Debugging | Dominic Steinhöfel + Andreas Zeller | |
[Seminar] The Web Security Seminar | Giancarlo Pellegrino | |
[Seminar] Topics in Adversarial Machine Learning | Xiao Zhang | |
[Seminar] Trusted and Secure Computing | Sven Bugiel, Michael Schwarz, Dhiman Chakraborty | |
[Seminar] Wireless Security | Mridula Singh | |
[Advanced Lecture] Algorithms for Cryptanalysis | Antoine Joux | |
[Advanced Lecture] Digital Currencies and Smart Contracts | Karl Wüst | |
[Advanced Lecture] Distributed Graph Algorithms | Sebastian Brandt | |
[Advanced Lecture] Formal analysis of real-world security protocols | Cas Cremers | |
[Advanced Lecture] Foundations of Web Security | Ben Stock | |
[Advanced Lecture] How to Clock Your Computer | Danny Dolev, Ian Jones, Christoph Lenzen, Andreas Steininger | |
[Advanced Lecture] IT Forensics | Christoph Sorge | |
[Advanced Lecture] Machine Learning Privacy | Yang Zhang | |
[Advanced Lecture] Optimization for Machine Learning | Sebastian Stich | |
[Advanced Lecture] Parameterized Verification | Swen Jacobs | |
[Advanced Lecture] Physical-Layer Security | Nils Ole Tippenhauer + Mridula Singh | |
[Advanced Lecture] Recht der Cybersicherheit | Christoph Sorge | |
[Advanced Lecture] Secure Web Development | Giancarlo Pellegrino, Cristian-Alexandru Staicu | |
[Basic Lecture] Foundations of Cyber Security II | Michael Schwarz | |
[Core Lecture] Cryptography | Nico Döttling and Julian Loss | |
[Core Lecture] Machine Learning | Mario Fritz | |
[Project] CySec Project Summer Term '22 | CISPA | |
[Proseminar] Classical Papers in Systems Security | Thorsten Holz | |
[Proseminar] Classic Contributions to Machine Learning | Aleksandar Bojchevski, Rebekka Burkholz | |
[Proseminar] Cyber-Physical Systems Security | Hamid Reza Ghaeini | |
[Proseminar] From Program Verification to Synthesis | Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Noemi Passing, Malte Schledjewski | |
[Proseminar] Geometric Deep Learning | Aleksandar Bojchevski | |
[Proseminar] Recent Topics in Web Security | Ben Stock | |
[Seminar] Advanced Topics in Program Analysis | Rayna Dimitrova | |
[Seminar] Bachelor- and Master Seminar | CISPA Staff | |
[Seminar] Coping with computational hardness: approximation, moderately exponential-time, and parameterized algorithms | Dániel Marx | |
[Seminar] Data-driven Understanding of the Disinformation Epidemic | Yang Zhang | |
[Seminar] Digital and Privacy-Preserving Signatures | Lucjan Hanzlik | |
[Seminar] Ethics in Security Research | Divyanshu Bhardwaj, Katharina Krombholz | |
[Seminar] Neural-Symbolic Computing | Raven Beutner, Bernd Finkbeiner, Christopher Hahn, Niklas Metzger, Frederik Schmitt, Julian Siber | |
[Seminar] Symbolic Execution | Dominic Steinhöfel + Andreas Zeller | |
[Advanced Lecture] Algebraic Coding Theory | Anand Narayanan | |
[Advanced Lecture] Foundations of Web Security | Ben Stock | |
[Advanced Lecture] IT Forensics | Sorge | |
[Advanced Lecture] Privacy Enhancing Technologies | Yang Zhang | |
[Advanced Lecture] Recht der Cybersicherheit - Strafrechtliche Aspekte | Dr. iur. Stephanie Vogelgesang | |
[Advanced Lecture] Usable Security | Katharina Krombholz | |
[Basic Lecture] Foundations of Cyber Security II | Michael Schwarz | |
[Core Lecture] Cryptography | Nico Döttling, Antoine Joux, Cas Cremers | |
[Project] CySec Project Summer Term '21 | CISPA | |
[Proseminar] Decision Procedures for Verification and Synthesis | Rayna Dimitrova | |
[Proseminar] Introduction to Digital and Privacy-Preserving Signatures | Lucjan Hanzlik | |
[Proseminar] Privacy by Design | Christoph Sorge | |
[Proseminar] (p)SADWeb: (Pro)Seminar on Attacks & Defense on the Web | Giancarlo Pellegrino, Cristian-Alexandru Staicu, Ben Stock | |
[Proseminar] Seminal Papers in Cryptography | Cas Cremers, Jacqueline Brendel | |
[Proseminar] Software Reliability | Bernd Finkbeiner, Florian Kohn, Niklas Metzger, Frederik Schmitt, Julian Siber | |
[Seminar] Bachelor- and Master Seminar | CISPA Staff | |
[Seminar] Data-driven Understanding of the Disinformation Epidemic | Savvas Zannettou, Yang Zhang | |
[Seminar] Monitoring of Cyber-Physical Systems | Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger | |
[Seminar] Selected Topics in Automated Testing and Debugging | Rahul Gopinath + Rafael Dutra + Andreas Zeller | |
[Seminar] Selected Topics in Mobile Security | Sven Bugiel | |
[Seminar] Selected Topics in Specification and Testing | Dominic Steinhöfel + Andreas Zeller | |
[Seminar] Trusted and Secure Computing | Sven Bugiel, Michael Schwarz, Dhiman Chakraborty | |