Course Overview

Course list

Winter term 2023/2024

Formal Methods in Security Advanced Lecture - Cremers, Nasrabadi, Fabian, Nemati, Künnemann
Games in Machine Learning Advanced Lecture - Tatjana Chavdarova, Sebastian Stich
Machine Learning in Cybersecurity Advanced Lecture - Mario Fritz
Mobile Security Advanced Lecture - Sven Bugiel
Robustness in Machine Learning Advanced Lecture - Xiao Zhang
Security Testing Advanced Lecture - Andreas Zeller + Leon Bettscheider + José Antonio Zamudio Amaya
Side-Channel Attacks and Defenses Advanced Lecture - Michael Schwarz
Systems Security Advanced Lecture - Ali Abbasi, Thorsten Holz
Elements of Machine Learning Basic and Advanced Lecture - Krikamol Muandet and Jilles Vreeken
Foundations of Cybersecurity 1 Basic Lecture - Ben Stock
Security (WS 2023/2024) Core Lecture - Thorsten Holz
Verification Core Lecture - Bernd Finkbeiner
Perspectives of Entrepreneurial Cybersecurity Lecture Series - Sven Bugiel, Giancarlo Pellegrino
Cybersecurity Lab Practical Training - Ben Stock
CySec Project Winter Term '23/24 Project - CISPA
Introduction to Digital and Privacy-Preserving Signatures Proseminar - Lucjan Hanzlik
Usable Security Research to Enhance Online Child Protection Proseminar - Carolyn Guthoff, Katharina Krombholz
Wireless and Mobile Security Proseminar - Mridula Singh
Advanced Theory of Secure Messaging Seminar - Cas Cremers
An Extravaganza of Algorithmic Models Seminar - Sebastian Brandt, Alexandre Nolin
Bachelor- and Master Seminar Seminar - CISPA Staff
Complexity of Games Seminar - Dániel Marx, Tim Hartmann
Differential Privacy: Mathematical Foundations and Applications in Machine Learning Seminar - Franziska Boenisch, Jilles Vreeken
Machine Learning Security Reproducibility Seminar - Lea Schönherr
Mining Input Structures Seminar - Rafael Dutra + Andreas Zeller
New Developments in PETS Seminar - Wouter Lueks
Passwordless Authentication on the Web Seminar - Maximilian Golla
Privacy of Machine Learning Seminar - Zeyang Sha, Xinyue Shen, Wai Man Si, Ziqing Yang, Yang Zhang
Pruning deep neural networks for lottery tickets Seminar - Rebekka Burkholz
Seminar Quantum Cryptography Seminar - Nico Döttling
Static Program Analysis Lab Seminar - Jordan Samhi + Andreas Zeller
The Web Security Seminar Seminar - Aurore Fass, Giancarlo Pellegrino, Cristian-Alexandru Staicu, Ben Stock
Trustworthy Machine Learning Seminar - Adam Dziedzic

Summer term 2023

Attacks Against Machine Learning Models Advanced Lecture - Yang Zhang
Distributed Graph Algorithms Advanced Lecture - Sebastian Brandt
Foundations of Web Security Advanced Lecture - Ben Stock
IT Forensics Advanced Lecture - Christoph Sorge
Optimization for Machine Learning Advanced Lecture - Sebastian Stich
Parameterized Algorithms Advanced Lecture - Dániel Marx, Roohani Sharma
Physical-Layer Security Advanced Lecture - Nils Ole Tippenhauer
Post Quantum Cryptography Advanced Lecture - Nabil Alkeilani Alkadri, Nico Döttling
Privacy-Enhancing Technologies Advanced Lecture - Wouter Lueks
Recht der Cybersicherheit - datenschutzrechtliche Aspekte Advanced Lecture - Ajla Hajric, Marc Rose, Simone Salemi, Christoph Sorge, Bianca Steffes
Reverse Engineering and Exploit Development For Embedded Systems Advanced Lecture - Ali Abbasi
Foundations of Cybersecurity 2 Basic Lecture - Michael Schwarz
Cryptography Core Lecture - Antoine Joux, Julian Loss
CySec Project Summer Term '23 Project - CISPA
Ethics in Security Research Proseminar - Divyanshu Bhardwaj, Katharina Krombholz
Optimization Methods for Large-Scale Machine Learning Proseminar - Sebastian Stich
Physical-Layer Security Proseminar - Nils Ole Tippenhauer
Seminal Papers in Security Protocol Verification Proseminar - Cas Cremers, Alexander Dax, Niklas Medinger
Theory on Consensus Proseminar - Christoph Lenzen
Cryptographic Authentication Seminar - Lucjan Hanzlik
Data-driven Understanding of the Disinformation Epidemic Seminar - Yang Zhang
Do we really need overparameterization in deep learning? Seminar - Rebekka Burkholz
Formal Compiler Security Seminar - Xaver Fabian, Matthis Kruse, Faezeh Nasrabadi, Robert Künnemann
Formal Methods for AI Safety Seminar - Rayna Dimitrova
Hardware Security Seminar - Ali Abbasi
Hyperproperties Seminar - Raven Beutner, Norine Coenen, Arthur Correnson, Matthias Cosler, Bernd Finkbeiner, Florian Kohn, Julian Siber
Machine Learning Security Seminar - Lea Schönherr
Opportunities and Risks of Large Language Models and Foundation Models Seminar - Mario Fritz
Reproducibility in Computer Security Seminar - Thorsten Holz
Specification-Based Testing and Debugging Seminar - Dominic Steinhöfel + Andreas Zeller
The Web Security Seminar Seminar - Giancarlo Pellegrino
Topics in Adversarial Machine Learning Seminar - Xiao Zhang
Trusted and Secure Computing Seminar - Sven Bugiel, Michael Schwarz, Dhiman Chakraborty
Wireless Security Seminar - Mridula Singh

Winter term 2022/2023

Automata, Games, and Verification Advanced Lecture - Bernd Finkbeiner, Hadar Frenkel
Automated Debugging Advanced Lecture - Andreas Zeller + Marius Smytzek + Paul Zhu
Clock Synchronization and Adversarial Fault Tolerance Advanced Lecture - Danny Dolev and Christoph Lenzen
Coding Theory Advanced Lecture - Nico Döttling
Reactive Synthesis Advanced Lecture - Rayna Dimitrova
Side-Channel Attacks and Defenses Advanced Lecture - Michael Schwarz
Systems Security Advanced Lecture - Ali Abbasi, Thorsten Holz
Usable Security & Privacy Advanced Lecture - Mobin Javed, Katharina Krombholz
Foundations of Cybersecurity 1 Basic Lecture - Ben Stock
Elements of Machine Learning Basic Lecture and Advanced Lecture - Aleksandar Bojchevski and Jilles Vreeken
Security Core Lecture - Thorsten Holz, Sven Bugiel
Perspectives of Entrepreneurial Cybersecurity Lecture Series - Sven Bugiel, Giancarlo Pellegrino
CySec Project Winter Term '22/23 Project - CISPA
Algorithms and Complexity Proseminar - Dániel Marx
Introduction to Digital and Privacy-Preserving Signatures Proseminar - Lucjan Hanzlik
Introduction to Distributed Consensus Proseminar - Julian Loss
Mobile Agents Proseminar - Sebastian Brandt
Wireless and Mobile Security Proseminar - Mridula Singh
Advanced Theory of Secure Messaging Seminar - Cas Cremers
Applied Multiparty Computation and Fully Homomorphic Encryption Seminar - Kamil Kluczniak
Bachelor- and Master Seminar Seminar - CISPA Staff
Embedded Systems Security Seminar - Ali Abbasi
Industrial Control Systems Security Seminar - Nils Ole Tippenhauer
Machine Learning for Program Analysis Seminar - Giancarlo Pellegrino, Cristian Staicu, Thorsten Holz
Machine Learning for Software Development Seminar - Andreas Zeller + Tural Mammadov
Machine Learning Security Seminar - Lea Schönherr
Privacy of Machine Learning Seminar - Yang Zhang
Pruning deep neural networks for lottery tickets Seminar - Rebekka Burkholz
The Web Security Seminar Seminar - Ben Stock, Giancarlo Pellegrino
Topics in Optimization for Machine Learning Seminar - Sebastian Stich
Topics in Out-of-Distribution (OOD) Generalization Seminar - Krikamol Muandet
Verification of Distributed Systems Seminar - Swen Jacobs

Summer term 2022

Algorithms for Cryptanalysis Advanced Lecture - Antoine Joux
Digital Currencies and Smart Contracts Advanced Lecture - Karl Wüst
Distributed Graph Algorithms Advanced Lecture - Sebastian Brandt
Formal analysis of real-world security protocols Advanced Lecture - Cas Cremers
Foundations of Web Security Advanced Lecture - Ben Stock
How to Clock Your Computer Advanced Lecture - Danny Dolev, Ian Jones, Christoph Lenzen, Andreas Steininger
IT Forensics Advanced Lecture - Christoph Sorge
Machine Learning Privacy Advanced Lecture - Yang Zhang
Optimization for Machine Learning Advanced Lecture - Sebastian Stich
Parameterized Verification Advanced Lecture - Swen Jacobs
Physical-Layer Security Advanced Lecture - Nils Ole Tippenhauer + Mridula Singh
Recht der Cybersicherheit Advanced Lecture - Christoph Sorge
Secure Web Development Advanced Lecture - Giancarlo Pellegrino, Cristian-Alexandru Staicu
Foundations of Cyber Security II Basic Lecture - Michael Schwarz
Cryptography Core Lecture - Nico Döttling and Julian Loss
Machine Learning Core Lecture - Mario Fritz
CySec Project Summer Term '22 Project - CISPA
Classical Papers in Systems Security Proseminar - Thorsten Holz
Classic Contributions to Machine Learning Proseminar - Aleksandar Bojchevski, Rebekka Burkholz
Cyber-Physical Systems Security Proseminar - Hamid Reza Ghaeini
From Program Verification to Synthesis Proseminar - Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Noemi Passing, Malte Schledjewski
Geometric Deep Learning Proseminar - Aleksandar Bojchevski
Recent Topics in Web Security Proseminar - Ben Stock
Advanced Topics in Program Analysis Seminar - Rayna Dimitrova
Bachelor- and Master Seminar Seminar - CISPA Staff
Coping with computational hardness: approximation, moderately exponential-time, and parameterized algorithms Seminar - Dániel Marx
Data-driven Understanding of the Disinformation Epidemic Seminar - Yang Zhang
Digital and Privacy-Preserving Signatures Seminar - Lucjan Hanzlik
Ethics in Security Research Seminar - Divyanshu Bhardwaj, Katharina Krombholz
Neural-Symbolic Computing Seminar - Raven Beutner, Bernd Finkbeiner, Christopher Hahn, Niklas Metzger, Frederik Schmitt, Julian Siber
Symbolic Execution Seminar - Dominic Steinhöfel + Andreas Zeller

Winter term 2021/2022

Formal Methods in Security Advanced Lecture - Patrignani, Nemati, Künnemann
Machine Learning in Cybersecurity Advanced Lecture - Mario Fritz
Metastability-containing Synchronization Circuits Advanced Lecture - Christoph Lenzen
Mobile Security Advanced Lecture - Sven Bugiel
Parameterized Algorithms Advanced Lecture - Dániel Marx, Roohani Sharma
Security Testing Advanced Lecture - Andreas Zeller + Leon Bettscheider + Marius Smytzek
Side-Channel Attacks and Defenses Advanced Lecture - Michael Schwarz
Systems Security Advanced Lecture - Thorsten Holz
Foundations of Cybersecurity 1 Basic Lecture - Ben Stock
Security Core Lecture - Katharina Krombholz and Nils Ole Tippenhauer
Verification Core Lecture - Bernd Finkbeiner
Perspectives of Entrepreneurial Cybersecurity Lecture Series - Sven Bugiel, Giancarlo Pellegrino
CySec Project Winter Term '21/22 Project - CISPA
Algorithms and Complexity Proseminar - Antoine Joux
Automated Testing and Debugging Proseminar - Dominic Steinhöfel + Andreas Zeller
Distributed Consensus Proseminar - Julian Loss
Trustworthy Machine Learning Proseminar - Mario Fritz
Bachelor- and Master Seminar Seminar - CISPA Staff
Current Topics in Systems Security Seminar - Thorsten Holz
Digital and Privacy-Preserving Signatures Seminar - Lucjan Hanzlik, Kamil Kluczniak
Formal Methods for AI Safety Seminar - Rayna Dimitrova
Formal Methods for Finding and Fixing Information Leaks Seminar - Swen Jacobs
Joint Advances in Web Security Seminar - Ben Stock, Cris Staicu, Giancarlo Pellegrino
Privacy of Machine Learning Seminar - Yang Zhang
Program Analysis for Vulnerability Detection Seminar - Cristian-Alexandru Staicu
Pruning deep neural networks for lottery tickets Seminar - Rebekka Burkholz
Topics in Optimization for Machine Learning Seminar - Sebastian Stich
Trustworthy Graph Neural Networks Seminar - Aleksandar Bojchevski

Summer term 2021

Algebraic Coding Theory Advanced Lecture - Anand Narayanan
Foundations of Web Security Advanced Lecture - Ben Stock
IT Forensics Advanced Lecture - Sorge
Privacy Enhancing Technologies Advanced Lecture - Yang Zhang
Recht der Cybersicherheit - Strafrechtliche Aspekte Advanced Lecture - Dr. iur. Stephanie Vogelgesang
Usable Security Advanced Lecture - Katharina Krombholz
Foundations of Cyber Security II Basic Lecture - Michael Schwarz
Cryptography Core Lecture - Nico Döttling, Antoine Joux, Cas Cremers
CySec Project Summer Term '21 Project - CISPA
Decision Procedures for Verification and Synthesis Proseminar - Rayna Dimitrova
Introduction to Digital and Privacy-Preserving Signatures Proseminar - Lucjan Hanzlik
Privacy by Design Proseminar - Christoph Sorge
(p)SADWeb: (Pro)Seminar on Attacks & Defense on the Web Proseminar - Giancarlo Pellegrino, Cristian-Alexandru Staicu, Ben Stock
Seminal Papers in Cryptography Proseminar - Cas Cremers, Jacqueline Brendel
Software Reliability Proseminar - Bernd Finkbeiner, Florian Kohn, Niklas Metzger, Frederik Schmitt, Julian Siber
Bachelor- and Master Seminar Seminar - CISPA Staff
Data-driven Understanding of the Disinformation Epidemic Seminar - Savvas Zannettou, Yang Zhang
Monitoring of Cyber-Physical Systems Seminar - Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger
Selected Topics in Automated Testing and Debugging Seminar - Rahul Gopinath + Rafael Dutra + Andreas Zeller
Selected Topics in Mobile Security Seminar - Sven Bugiel
Selected Topics in Specification and Testing Seminar - Dominic Steinhöfel + Andreas Zeller
Trusted and Secure Computing Seminar - Sven Bugiel, Michael Schwarz, Dhiman Chakraborty

Winter term 2020/2021

Algorithms for Cryptanalysis Advanced Lecture - Antoine Joux
Automated Debugging Advanced Lecture - Andreas Zeller + Konstantin Kuznetsov + Johannes Lampel
Formal Methods in Security Advanced Lecture - Vassena, Nemati, Künnemann
Machine Learning in Cyber Security Advanced Lecture - Mario Fritz
Mobile Security Advanced Lecture - Sven Bugiel
Obfuscation, scientifically Advanced Lecture - Nico Döttling
Recht der Cybersicherheit Advanced Lecture - Sorge
Side-Channel Attacks and Defenses Advanced Lecture - Michael Schwarz
Web Security Advanced Lecture - Ben Stock
The Elements of Machine Learning Basic and Advanced Lecture - Jilles Vreeken and Isabel Valera
Foundations of Cybersecurity 1 Basic Lecture - Ben Stock
Security Core Lecture - Nils Ole Tippenhauer and Giancarlo Pellegrino
Programmierung 1 Grundvorlesung - Bernd Finkbeiner
Perspectives of Cyber Security Lecture Series - Sven Bugiel, Giancarlo Pellegrino
CySec Project Winter Term 20/21 Project - CISPA
Algorithms and Complexity Proseminar - Antoine Joux
Cyber-Physical Systems Security Proseminar - Hamid Ghaeini
Model Checking: Techniques and Applications Proseminar - Swen Jacobs
User Studies in IT Security Proseminar - Katharina Krombholz
Bachelor- and Master-Seminar Seminar - CISPA Staff
Data Privacy Seminar - Yang Zhang, Zhikun Zhang
Formal Methods for AI Safety Seminar - Rayna Dimitrova
Privacy-Preserving Signatures Seminar - Lucjan Hanzlik
Program Analysis for Vulnerability Detection Seminar - Cristian-Alexandru Staicu

Summer term 2020

Physical-Layer Security Advanced Lecture - Nils Ole Tippenhauer
Privacy Enhancing Technologies Advanced Lecture - Yang Zhang
Usable Security Advanced Lecture - Katharina Krombholz
Foundations of Cyber Security II Basic Lecture - Christian Rossow
Secure Web Development Block course - Giancarlo Pellegrino
Cryptography Core Lecture - Nico Döttling, Antoine Joux and Benoit Cogliati
CySec Project Summer Term 20 Project - CISPA
Algorithms and Complexity Proseminar - Antoine Joux
Automated Testing and Debugging Proseminar - Andreas Zeller + Jenny Rau
Cyber-Physical Systems Security Proseminar - Hamid Ghaeini
Influential papers in Web Security Proseminar - Pellegrino, Somé, Stock
Seminal Papers in Cryptography Proseminar - Jacqueline Brendel, Cas Cremers
Trustworthy Machine Learning Proseminar - Mario Fritz
Advanced Fuzzing Techniques Seminar - Andreas Zeller + Rahul Gopinath + Rafael Dutra
Data-driven Approaches on Understanding Disinformation Seminar - Savvas Zannettou, Yang Zhang
Selected Topics in Mobile Security Seminar - Sven Bugiel

Winter term 2019/2020

Generating Software Tests (Security Testing) Advanced Lecture - Andreas Zeller + Rahul Gopinath
Machine Learning in Cybersecurity Advanced Lecture - Mario Fritz
Mobile Security Advanced Lecture - Sven Bugiel
Perspectives of Cyber Security Advanced Lecture - Stefan Nürnberger
Reactive Synthesis Advanced Lecture - Swen Jacobs
Recht der Cybersicherheit Advanced Lecture - Sorge
The Elements of Statistical Learning Advanced Lecture - Jilles Vreeken, Tobias Marschall
Web Security Advanced Lecture - Ben Stock
Foundations of Cybersecurity 1 Basic Lecture - Ben Stock
Security Core Lecture - Nils Ole Tippenhauer and Giancarlo Pellegrino
CySec Project Winter Term 19/20 Project - CISPA
Malware Proseminar - Christian Rossow
Data Privacy Seminar - Yang Zhang
Designing Usable Security Seminar - Katharina Krombholz
Formal Methods for Security Seminar - Swen Jacobs
Joint Advances in Web Security Seminar - Giancarlo Pellegrino, Ben Stock
Secure Messaging Seminar - Cas Cremers
LEss Injuries by making cars SecURE Seminar/Proseminar - Stefan Nürnberger

Summer term 2019

Trusted and Secure Computing Advanced lecture - Sven Bugiel
Embedded Security Advanced Lecture - Stefan Nürnberger
IT Forensics Advanced Lecture - Christoph Sorge
Parameterized Verification Advanced Lecture - Swen Jacobs
Physical-Layer Security Advanced Lecture - Nils Ole Tippenhauer
Privacy Enhancing Technologies Advanced Lecture - Yang Zhang
Recht der Cybersicherheit - Strafrechtliche Aspekte Advanced Lecture - Christoph Sorge, Stephanie Vogelgesang
Usable Security Advanced Lecture - Katharina Krombholz
Web Security Advanced Lecture - Ben Stock
Foundations of Cyber Security II Basic Lecture - Christian Rossow
Cryptography Core Lecture - Nico Döttling
CySec Project Summer Term 19 Project - CISPA
Biomedical Privacy Proseminar - Inken Hagestedt, Yang Zhang
Hacking Proseminar - Bugiel, Nürnberger, Sorge, Stock, Tippenhauer
Privacy by Design Proseminar - Christoph Sorge
Accountability in Theory and Practice Seminar - Künnemann, Nemati
Advanced Topics in Modern Cryptography Seminar - Kamil Kluczniak
Comparing Fuzzing Techniques Seminar - Andreas Zeller + Rahul Gopinath
Problem Solving and Communication Seminar - Dr. Christian Poensgen, CEMS MIM
Secure Compilation Seminar - Marco Patrignani
Selected Topics in Mobile Security Seminar - Sven Bugiel

Winter term 2018/2019

Advanced Public Key Cryptography Advanced Lecture - Nico Döttling
Generating Software Tests Advanced Lecture - Andreas Zeller, Rahul Gopinath
Machine Learning in Cybersecurity Advanced Lecture - Mario Fritz
Malware Analysis and Intrusion Detection Advanced Lecture - Christian Rossow
Mobile Security Advanced Lecture - Sven Bugiel
Recht der Cybersicherheit Advanced Lecture - Christoph Sorge
Grundlagen der Cybersicherheit 1 Basic Lecture - Ben Stock
Security Core Lecture - Cas Cremers
Perspectives of Cybersecurity Lecture Series - Researchers and Entrepreneurs in Cybersecurity and Related Topics
Meta-Proseminar Meta - Proseminar assignment course - Winter Term 2018/2019
Meta-Seminar Meta - Seminar assignment course - Winter Term 2018/2019
CySec Project Winter Term 18/19 Project - CISPA
Malware Proseminar Proseminar - Christian Rossow
Physical-Layer Security Proseminar - Nils Ole Tippenhauer
Data Privacy Seminar - Yang Zhang
Hands-On Protocol Verification Seminar - Robert Künnemann
Joint Advances in Web Security Seminar - Ben Stock
Selected Topics in Formal Methods for Security Seminar - Swen Jacobs
Usable Security Seminar - Katharina Krombholz

Summer term 2018

Welcome 1st Semester CySec Students Christian Rossow
Embedded Security Advanced Lecture - Stefan Nürnberger
Privacy Enhancing Technologies Advanced Lecture - Yang Zhang, Lucjan Hanzlik, Robert Künnemann
Web Security Advanced Lecture - Ben Stock
Foundations of Cyber Security II Basic Lecture - Christian Rossow, Robert Künnemann
Softwarepraktikum Blockkurs - Prof. Dr. Andreas Zeller
Meta-Proseminar Meta - Proseminar assignment course - Summer Term 2018
Meta-Seminar Meta - Seminar assignment course - Summer Term 2018
CySec Project Summer Term 18 Project - CISPA
Hacking Proseminar - Sorge, Stock, Bugiel, Nürnberger
Selected Topics in Mobile Security Proseminar - Sven Bugiel
Advances in Security Testing Seminar - Sascha Just, Andreas Zeller
Adversarial Machine Learning Seminar - Kathrin Grosse
Secure Compilation Seminar - Marco Patrignani & Michael Backes
Trusted Computing Seminar - Sven Bugiel

Winter term 2017/2018

Mobile Security Advanced lecture - Sven Bugiel
Recht der Cybersicherheit Advanced Lecture - Christoph Sorge
Security Testing Advanced Lecture - Prof. Dr. Andreas Zeller, Dr. Rahul Gopinath
Grundlagen der Cybersicherheit 1 Basic Lecture - Michael Backes, Ben Stock
Security Core Lecture - Christian Rossow
CySec Project WS '17/'18 Project - CISPA
Joint CISPA Conference Seminar Seminar - CISPA

Summer term 2017

Trusted and Secure Computing Advanced lecture - Sven Bugiel
App Mining Advanced Lecture - Maria Gomez
Foundations of Cyber Security II Basic Lecture - Prof. Dr. Christian Rossow
Web Security Block Course - Ben Stock
Grundlagen des Rechts für Informatiker Lecture - Christoph Sorge
Vulnerability Incident Proseminar Proseminar - Prof. Dr. Christian Rossow
Input Inference Seminar - Alessio Gambi

CISPA Courses

Course list

Winter term 2023/2024

Summer term 2023

Winter term 2022/2023

Summer term 2022

Winter term 2021/2022