Course Management System Lectures

Summer term 2023

[Advanced Lecture] Attacks Against Machine Learning ModelsYang Zhang
[Advanced Lecture] Distributed Graph AlgorithmsSebastian Brandt
[Advanced Lecture] Foundations of Web SecurityBen Stock
[Advanced Lecture] IT ForensicsChristoph Sorge
[Advanced Lecture] Optimization for Machine LearningSebastian Stich
[Advanced Lecture] Parameterized AlgorithmsDániel Marx, Roohani Sharma
[Advanced Lecture] Physical-Layer SecurityNils Ole Tippenhauer
[Advanced Lecture] Post Quantum CryptographyNabil Alkeilani Alkadri, Nico Döttling
[Advanced Lecture] Privacy-Enhancing TechnologiesWouter Lueks
[Advanced Lecture] Recht der Cybersicherheit - datenschutzrechtliche AspekteAjla Hajric, Marc Rose, Simone Salemi, Christoph Sorge, Bianca Steffes
[Advanced Lecture] Reverse Engineering and Exploit Development For Embedded SystemsAli Abbasi
[Basic Lecture] Foundations of Cybersecurity 2Michael Schwarz
[Core Lecture] CryptographyAntoine Joux, Julian Loss
[Project] CySec Project Summer Term '23CISPA
[Proseminar] Ethics in Security ResearchDivyanshu Bhardwaj, Katharina Krombholz
[Proseminar] Optimization Methods for Large-Scale Machine LearningSebastian Stich
[Proseminar] Physical-Layer SecurityNils Ole Tippenhauer
[Proseminar] Seminal Papers in Security Protocol VerificationCas Cremers, Alexander Dax, Niklas Medinger
[Proseminar] Theory on ConsensusChristoph Lenzen
[Seminar] Cryptographic AuthenticationLucjan 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 SecurityXaver Fabian, Matthis Kruse, Faezeh Nasrabadi, Robert Künnemann
[Seminar] Formal Methods for AI SafetyRayna Dimitrova
[Seminar] Hardware SecurityAli Abbasi
[Seminar] HyperpropertiesRaven Beutner, Norine Coenen, Arthur Correnson, Matthias Cosler, Bernd Finkbeiner, Florian Kohn, Julian Siber
[Seminar] Machine Learning SecurityLea Schönherr
[Seminar] Opportunities and Risks of Large Language Models and Foundation ModelsMario Fritz
[Seminar] Reproducibility in Computer SecurityThorsten Holz
[Seminar] Specification-Based Testing and DebuggingDominic Steinhöfel + Andreas Zeller
[Seminar] The Web Security SeminarGiancarlo Pellegrino
[Seminar] Topics in Adversarial Machine LearningXiao Zhang
[Seminar] Trusted and Secure ComputingSven Bugiel, Michael Schwarz, Dhiman Chakraborty
[Seminar] Wireless Security Mridula Singh

Winter term 2022/2023

[Advanced Lecture] Automata, Games, and VerificationBernd Finkbeiner, Hadar Frenkel
[Advanced Lecture] Automated DebuggingAndreas Zeller + Marius Smytzek + Paul Zhu
[Advanced Lecture] Clock Synchronization and Adversarial Fault ToleranceDanny Dolev and Christoph Lenzen
[Advanced Lecture] Coding TheoryNico Döttling
[Advanced Lecture] Reactive SynthesisRayna Dimitrova
[Advanced Lecture] Side-Channel Attacks and DefensesMichael Schwarz
[Advanced Lecture] Systems SecurityAli Abbasi, Thorsten Holz
[Advanced Lecture] Usable Security & PrivacyKatharina Krombholz
[Basic Lecture] Foundations of Cybersecurity 1Ben Stock
[Basic Lecture and Advanced Lecture] Elements of Machine LearningAleksandar Bojchevski and Jilles Vreeken
[Core Lecture] SecurityThorsten Holz, Sven Bugiel
[Lecture Series] Perspectives of Entrepreneurial CybersecuritySven Bugiel, Giancarlo Pellegrino
[Project] CySec Project Winter Term '22/23CISPA
[Proseminar] Algorithms and ComplexityDániel Marx
[Proseminar] Introduction to Digital and Privacy-Preserving SignaturesLucjan Hanzlik
[Proseminar] Introduction to Distributed ConsensusJulian Loss
[Proseminar] Mobile AgentsSebastian Brandt
[Proseminar] Wireless and Mobile Security Mridula Singh
[Seminar] Advanced Theory of Secure MessagingCas Cremers
[Seminar] Applied Multiparty Computation and Fully Homomorphic EncryptionKamil Kluczniak
[Seminar] Bachelor- and Master SeminarCISPA Staff
[Seminar] Embedded Systems SecurityAli Abbasi
[Seminar] Industrial Control Systems SecurityNils Ole Tippenhauer
[Seminar] Machine Learning for Program AnalysisGiancarlo Pellegrino, Cristian Staicu, Thorsten Holz
[Seminar] Machine Learning for Software DevelopmentAndreas Zeller + Tural Mammadov
[Seminar] Machine Learning SecurityLea Schönherr
[Seminar] Privacy of Machine LearningYang Zhang
[Seminar] Pruning deep neural networks for lottery ticketsRebekka Burkholz
[Seminar] The Web Security SeminarBen Stock, Giancarlo Pellegrino
[Seminar] Topics in Optimization for Machine LearningSebastian Stich
[Seminar] Topics in Out-of-Distribution (OOD) GeneralizationKrikamol Muandet
[Seminar] Verification of Distributed SystemsSwen Jacobs

Summer term 2022

[Advanced Lecture] Algorithms for CryptanalysisAntoine Joux
[Advanced Lecture] Digital Currencies and Smart ContractsKarl Wüst
[Advanced Lecture] Distributed Graph AlgorithmsSebastian Brandt
[Advanced Lecture] Formal analysis of real-world security protocolsCas Cremers
[Advanced Lecture] Foundations of Web SecurityBen Stock
[Advanced Lecture] How to Clock Your ComputerDanny Dolev, Ian Jones, Christoph Lenzen, Andreas Steininger
[Advanced Lecture] IT ForensicsChristoph Sorge
[Advanced Lecture] Machine Learning PrivacyYang Zhang
[Advanced Lecture] Optimization for Machine LearningSebastian Stich
[Advanced Lecture] Parameterized VerificationSwen Jacobs
[Advanced Lecture] Physical-Layer SecurityNils Ole Tippenhauer + Mridula Singh
[Advanced Lecture] Recht der CybersicherheitChristoph Sorge
[Advanced Lecture] Secure Web DevelopmentGiancarlo Pellegrino, Cristian-Alexandru Staicu
[Basic Lecture] Foundations of Cyber Security IIMichael Schwarz
[Core Lecture] CryptographyNico Döttling and Julian Loss
[Core Lecture] Machine LearningMario Fritz
[Project] CySec Project Summer Term '22CISPA
[Proseminar] Classical Papers in Systems SecurityThorsten Holz
[Proseminar] Classic Contributions to Machine LearningAleksandar Bojchevski, Rebekka Burkholz
[Proseminar] Cyber-Physical Systems SecurityHamid Reza Ghaeini
[Proseminar] From Program Verification to SynthesisRaven Beutner, Bernd Finkbeiner, Hadar Frenkel, Noemi Passing, Malte Schledjewski
[Proseminar] Geometric Deep LearningAleksandar Bojchevski
[Proseminar] Recent Topics in Web SecurityBen Stock
[Seminar] Advanced Topics in Program AnalysisRayna Dimitrova
[Seminar] Bachelor- and Master SeminarCISPA Staff
[Seminar] Coping with computational hardness: approximation, moderately exponential-time, and parameterized algorithmsDániel Marx
[Seminar] Data-driven Understanding of the Disinformation Epidemic Yang Zhang
[Seminar] Digital and Privacy-Preserving SignaturesLucjan Hanzlik
[Seminar] Ethics in Security ResearchDivyanshu Bhardwaj, Katharina Krombholz
[Seminar] Neural-Symbolic ComputingRaven Beutner, Bernd Finkbeiner, Christopher Hahn, Niklas Metzger, Frederik Schmitt, Julian Siber
[Seminar] Symbolic ExecutionDominic Steinhöfel + Andreas Zeller

Winter term 2021/2022

[Advanced Lecture] Formal Methods in SecurityPatrignani, Nemati, Künnemann
[Advanced Lecture] Machine Learning in CybersecurityMario Fritz
[Advanced Lecture] Metastability-containing Synchronization CircuitsChristoph Lenzen
[Advanced Lecture] Mobile SecuritySven Bugiel
[Advanced Lecture] Parameterized AlgorithmsDániel Marx, Roohani Sharma
[Advanced Lecture] Security TestingAndreas Zeller + Leon Bettscheider + Marius Smytzek
[Advanced Lecture] Side-Channel Attacks and DefensesMichael Schwarz
[Advanced Lecture] Systems SecurityThorsten Holz
[Basic Lecture] Foundations of Cybersecurity 1Ben Stock
[Core Lecture] SecurityKatharina Krombholz and Nils Ole Tippenhauer
[Core Lecture] VerificationBernd Finkbeiner
[Lecture Series] Perspectives of Entrepreneurial CybersecuritySven Bugiel, Giancarlo Pellegrino
[Project] CySec Project Winter Term '21/22CISPA
[Proseminar] Algorithms and ComplexityAntoine Joux
[Proseminar] Automated Testing and DebuggingDominic Steinhöfel + Andreas Zeller
[Proseminar] Distributed ConsensusJulian Loss
[Proseminar] Trustworthy Machine LearningMario Fritz
[Seminar] Bachelor- and Master SeminarCISPA Staff
[Seminar] Cur­rent To­pics in Systems Se­cu­ri­tyThorsten Holz
[Seminar] Digital and Privacy-Preserving SignaturesLucjan Hanzlik, Kamil Kluczniak
[Seminar] Formal Methods for AI SafetyRayna Dimitrova
[Seminar] Formal Methods for Finding and Fixing Information LeaksSwen Jacobs
[Seminar] Joint Advances in Web SecurityBen Stock, Cris Staicu, Giancarlo Pellegrino
[Seminar] Privacy of Machine LearningYang Zhang
[Seminar] Program Analysis for Vulnerability DetectionCristian-Alexandru Staicu
[Seminar] Pruning deep neural networks for lottery ticketsRebekka Burkholz
[Seminar] Topics in Optimization for Machine LearningSebastian Stich
[Seminar] Trustworthy Graph Neural NetworksAleksandar Bojchevski

Summer term 2021

[Advanced Lecture] Algebraic Coding TheoryAnand Narayanan
[Advanced Lecture] Foundations of Web SecurityBen Stock
[Advanced Lecture] IT ForensicsSorge
[Advanced Lecture] Privacy Enhancing TechnologiesYang Zhang
[Advanced Lecture] Recht der Cybersicherheit - Strafrechtliche AspekteDr. iur. Stephanie Vogelgesang
[Advanced Lecture] Usable SecurityKatharina Krombholz
[Basic Lecture] Foundations of Cyber Security IIMichael Schwarz
[Core Lecture] CryptographyNico Döttling, Antoine Joux, Cas Cremers
[Project] CySec Project Summer Term '21CISPA
[Proseminar] Decision Procedures for Verification and SynthesisRayna Dimitrova
[Proseminar] Introduction to Digital and Privacy-Preserving SignaturesLucjan Hanzlik
[Proseminar] Privacy by DesignChristoph Sorge
[Proseminar] (p)SADWeb: (Pro)Seminar on Attacks & Defense on the WebGiancarlo Pellegrino, Cristian-Alexandru Staicu, Ben Stock
[Proseminar] Seminal Papers in CryptographyCas Cremers, Jacqueline Brendel
[Proseminar] Software ReliabilityBernd Finkbeiner, Florian Kohn, Niklas Metzger, Frederik Schmitt, Julian Siber
[Seminar] Bachelor- and Master SeminarCISPA Staff
[Seminar] Data-driven Understanding of the Disinformation Epidemic Savvas Zannettou, Yang Zhang
[Seminar] Monitoring of Cyber-Physical SystemsJan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger
[Seminar] Selected Topics in Automated Testing and DebuggingRahul Gopinath + Rafael Dutra + Andreas Zeller
[Seminar] Selected Topics in Mobile SecuritySven Bugiel
[Seminar] Selected Topics in Specification and TestingDominic Steinhöfel + Andreas Zeller
[Seminar] Trusted and Secure ComputingSven Bugiel, Michael Schwarz, Dhiman Chakraborty

Winter term 2020/2021

[Advanced Lecture] Algorithms for CryptanalysisAntoine Joux
[Advanced Lecture] Automated DebuggingAndreas Zeller + Konstantin Kuznetsov + Johannes Lampel
[Advanced Lecture] Formal Methods in SecurityVassena, Nemati, Künnemann
[Advanced Lecture] Machine Learning in Cyber SecurityMario Fritz
[Advanced Lecture] Mobile SecuritySven Bugiel
[Advanced Lecture] Obfuscation, scientificallyNico Döttling
[Advanced Lecture] Recht der CybersicherheitSorge
[Advanced Lecture] Side-Channel Attacks and DefensesMichael Schwarz
[Advanced Lecture] Web SecurityBen Stock
[Basic and Advanced Lecture] The Elements of Machine LearningJilles Vreeken and Isabel Valera
[Basic Lecture] Foundations of Cybersecurity 1Ben Stock
[Core Lecture] SecurityNils Ole Tippenhauer and Giancarlo Pellegrino
[Grundvorlesung] Programmierung 1Bernd Finkbeiner
[Lecture Series] Perspectives of Cyber SecuritySven Bugiel, Giancarlo Pellegrino
[Project] CySec Project Winter Term 20/21CISPA
[Proseminar] Algorithms and ComplexityAntoine Joux
[Proseminar] Cyber-Physical Systems SecurityHamid Ghaeini
[Proseminar] Model Checking: Techniques and ApplicationsSwen Jacobs
[Proseminar] User Studies in IT SecurityKatharina Krombholz
[Seminar] Bachelor- and Master-SeminarCISPA Staff
[Seminar] Data PrivacyYang Zhang, Zhikun Zhang
[Seminar] Formal Methods for AI SafetyRayna Dimitrova
[Seminar] Privacy-Preserving SignaturesLucjan Hanzlik
[Seminar] Program Analysis for Vulnerability DetectionCristian-Alexandru Staicu

Summer term 2020

[Advanced Lecture] Physical-Layer SecurityNils Ole Tippenhauer
[Advanced Lecture] Privacy Enhancing TechnologiesYang Zhang
[Advanced Lecture] Usable SecurityKatharina Krombholz
[Basic Lecture] Foundations of Cyber Security IIChristian Rossow
[Block course] Secure Web DevelopmentGiancarlo Pellegrino
[Core Lecture] CryptographyNico Döttling, Antoine Joux and Benoit Cogliati
[Project] CySec Project Summer Term 20CISPA
[Proseminar] Algorithms and ComplexityAntoine Joux
[Proseminar] Automated Testing and DebuggingAndreas Zeller + Jenny Rau
[Proseminar] Cyber-Physical Systems SecurityHamid Ghaeini
[Proseminar] Influential papers in Web SecurityPellegrino, Somé, Stock
[Proseminar] Seminal Papers in CryptographyJacqueline Brendel, Cas Cremers
[Proseminar] Trustworthy Machine LearningMario Fritz
[Seminar] Advanced Fuzzing TechniquesAndreas Zeller + Rahul Gopinath + Rafael Dutra
[Seminar] Data-driven Approaches on Understanding DisinformationSavvas Zannettou, Yang Zhang
[Seminar] Selected Topics in Mobile SecuritySven Bugiel

Winter term 2019/2020

[Advanced Lecture] Generating Software Tests (Security Testing)Andreas Zeller + Rahul Gopinath
[Advanced Lecture] Machine Learning in CybersecurityMario Fritz
[Advanced Lecture] Mobile SecuritySven Bugiel
[Advanced Lecture] Perspectives of Cyber SecurityStefan Nürnberger
[Advanced Lecture] Reactive SynthesisSwen Jacobs
[Advanced Lecture] Recht der CybersicherheitSorge
[Advanced Lecture] The Elements of Statistical LearningJilles Vreeken, Tobias Marschall
[Advanced Lecture] Web SecurityBen Stock
[Basic Lecture] Foundations of Cybersecurity 1Ben Stock
[Core Lecture] SecurityNils Ole Tippenhauer and Giancarlo Pellegrino
[Project] CySec Project Winter Term 19/20CISPA
[Proseminar] MalwareChristian Rossow
[Seminar] Data PrivacyYang Zhang
[Seminar] Designing Usable SecurityKatharina Krombholz
[Seminar] Formal Methods for SecuritySwen Jacobs
[Seminar] Joint Advances in Web SecurityGiancarlo Pellegrino, Ben Stock
[Seminar] Secure MessagingCas Cremers
[Seminar/Proseminar] LEss Injuries by making cars SecUREStefan Nürnberger

Summer term 2019

[Advanced lecture] Trusted and Secure ComputingSven Bugiel
[Advanced Lecture] Embedded SecurityStefan Nürnberger
[Advanced Lecture] IT ForensicsChristoph Sorge
[Advanced Lecture] Parameterized VerificationSwen Jacobs
[Advanced Lecture] Physical-Layer SecurityNils Ole Tippenhauer
[Advanced Lecture] Privacy Enhancing TechnologiesYang Zhang
[Advanced Lecture] Recht der Cybersicherheit - Strafrechtliche AspekteChristoph Sorge, Stephanie Vogelgesang
[Advanced Lecture] Usable SecurityKatharina Krombholz
[Advanced Lecture] Web SecurityBen Stock
[Basic Lecture] Foundations of Cyber Security IIChristian Rossow
[Core Lecture] CryptographyNico Döttling
[Project] CySec Project Summer Term 19CISPA
[Proseminar] Biomedical PrivacyInken Hagestedt, Yang Zhang
[Proseminar] HackingBugiel, Nürnberger, Sorge, Stock, Tippenhauer
[Proseminar] Privacy by DesignChristoph Sorge
[Seminar] Accountability in Theory and PracticeKünnemann, Nemati
[Seminar] Advanced Topics in Modern CryptographyKamil Kluczniak
[Seminar] Comparing Fuzzing TechniquesAndreas Zeller + Rahul Gopinath
[Seminar] Problem Solving and CommunicationDr. Christian Poensgen, CEMS MIM
[Seminar] Secure CompilationMarco Patrignani
[Seminar] Selected Topics in Mobile SecuritySven Bugiel

Winter term 2018/2019

[Advanced Lecture] Advanced Public Key CryptographyNico Döttling
[Advanced Lecture] Generating Software TestsAndreas Zeller, Rahul Gopinath
[Advanced Lecture] Machine Learning in CybersecurityMario Fritz
[Advanced Lecture] Malware Analysis and Intrusion DetectionChristian Rossow
[Advanced Lecture] Mobile SecuritySven Bugiel
[Advanced Lecture] Recht der CybersicherheitChristoph Sorge
[Basic Lecture] Grundlagen der Cybersicherheit 1 Ben Stock
[Core Lecture] SecurityCas Cremers
[Lecture Series] Perspectives of CybersecurityResearchers and Entrepreneurs in Cybersecurity and Related Topics
[Meta] Meta-ProseminarProseminar assignment course - Winter Term 2018/2019
[Meta] Meta-SeminarSeminar assignment course - Winter Term 2018/2019
[Project] CySec Project Winter Term 18/19CISPA
[Proseminar] Malware ProseminarChristian Rossow
[Proseminar] Physical-Layer SecurityNils Ole Tippenhauer
[Seminar] Data PrivacyYang Zhang
[Seminar] Hands-On Protocol VerificationRobert Künnemann
[Seminar] Joint Advances in Web SecurityBen Stock
[Seminar] Selected Topics in Formal Methods for SecuritySwen Jacobs
[Seminar] Usable SecurityKatharina Krombholz

Summer term 2018

Welcome 1st Semester CySec StudentsChristian Rossow
[Advanced Lecture] Embedded SecurityStefan Nürnberger
[Advanced Lecture] Privacy Enhancing TechnologiesYang Zhang, Lucjan Hanzlik, Robert Künnemann
[Advanced Lecture] Web SecurityBen Stock
[Basic Lecture] Foundations of Cyber Security IIChristian Rossow, Robert Künnemann
[Blockkurs] SoftwarepraktikumProf. Dr. Andreas Zeller
[Meta] Meta-ProseminarProseminar assignment course - Summer Term 2018
[Meta] Meta-SeminarSeminar assignment course - Summer Term 2018
[Project] CySec Project Summer Term 18CISPA
[Proseminar] HackingSorge, Stock, Bugiel, Nürnberger
[Proseminar] Selected Topics in Mobile SecuritySven Bugiel
[Seminar] Advances in Security TestingSascha Just, Andreas Zeller
[Seminar] Adversarial Machine LearningKathrin Grosse
[Seminar] Secure CompilationMarco Patrignani & Michael Backes
[Seminar] Trusted ComputingSven Bugiel

Winter term 2017/2018

[Advanced lecture] Mobile SecuritySven Bugiel
[Advanced Lecture] Recht der CybersicherheitChristoph Sorge
[Advanced Lecture] Security TestingProf. Dr. Andreas Zeller, Dr. Rahul Gopinath
[Basic Lecture] Grundlagen der Cybersicherheit 1Michael Backes, Ben Stock
[Core Lecture] SecurityChristian Rossow
[Project] CySec Project WS '17/'18CISPA
[Seminar] Joint CISPA Conference SeminarCISPA

Summer term 2017

[Advanced lecture] Trusted and Secure ComputingSven Bugiel
[Advanced Lecture] App MiningMaria Gomez
[Basic Lecture] Foundations of Cyber Security IIProf. Dr. Christian Rossow
[Block Course] Web SecurityBen Stock
[Lecture] Grundlagen des Rechts für InformatikerChristoph Sorge
[Proseminar] Vulnerability Incident ProseminarProf. Dr. Christian Rossow
[Seminar] Input InferenceAlessio Gambi

Winter term 2016/2017

[Advanced Lecture] Malware Analysis and Intrusion DetectionProf. Dr. Christian Rossow

Summer term 2016

[Basic Lecture] Secure Software EngineeringProf. Dr. Christian Rossow



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators