Teaching by Heiko Mantel

So far, I taught over 15 university-level courses, 2 invited scientific tutorials, more than 25 seminars, and assisted several undergraduate-level and graduate-level courses.

Teaching at TU Darmstadt (since SS07)

Lectures
  • Formal Methods for Information Security (4+2), lecture with tutorial: SS07, SS08, SS10, SS11, SS12, SS13, SS15, SS16, SS17, SS18, WS19/20, SS22
  • Introduction to Foundations of Computing (IV3), lecture with tutorial: WS07/08, WS08/09, WS09/10, WS10/11, WS11/12, WS12/13, WS13/14, WS14/15, (lecture was renamed to Modellierung, Spezifikation und Semantik)
  • Modellierung, Spezifikation und Semantik (IV3), lecture with tutorial: WS15/16, WS16/17, WS17/18, SS19, SS20, WS20/21, WS21/22
  • Static and Dynamic Program Analysis (IV4), lecture with tutorial: WS11/12, WS12/13, WS17/18, SS21, WS21/22
Labs
  • Dynamic Enforcement of Software Security (P4): SS13, SS19
  • Dynamic Enforcement of System Requirements (P6): SS15, WS16/17, WS17/18
  • Formal Specification and Verification in Isabelle/HOL (P4): WS14/15, WS15/16, SS17, SS19, SS20, SS21, SS22
  • Modeling Lab (P4): WS07/08, WS08/09, WS09/10, WS10/11, WS11/12, WS 12/13, WS13/14
  • Proof-Carrying Code (P4): SS08, SS10, SS11
  • Reliable Software Security for Mobile Devices (P4): SS15, SS16, SS17, SS18, WS19/20
  • Secure Information Systems (P4): WS09/10
  • Side-Channel Analysis (P4): SS20
  • Software Security for Mobile Devices (P4): SS12, SS13
Seminars
  • Analysis of Security Protocols (S2): WS08/09
  • Attacker Models in IT Security (S2): SS20
  • Computer Security Foundations (S2): WS15/16, WS16/17
  • Current Tools for Language-Based Security (S2): WS14/15
  • Current Topics in Concurrency and Parallelism (S2): SS16, SS18, WS20/21, SS21
  • Current Topics in Information Flow Control (S2): WS11/12, WS12/13
  • Current Topics in Information Flow Security (S2): SS15
  • Current Topics in Secure Usage (S2): SS13, SS17, SS19
  • Current Topics in Usage Control (S2): SS11, SS12, SS17, SS19
  • Current Topics on Multicore Semantics (S2): WS13/14
  • Current Topics in Program Semantics (S2): WS17/18
  • Current Topics of Modular Verficiation (S2): WS19/20
  • Formal Methods for Security Engineering (S2): SS10
  • Formal Specification and Verification (S2): WS15/16, WS16/17, SS21, SS22
  • Formal Specification (S2): WS07/08, WS08/09, WS09/10, WS10/11, WS11/12, WS12/13, WS13/14, WS14/15, SS20
  • Formal Specification and Analysis (S2): SS08
  • Network Security (S2): SS07
  • Probabilistic Models (S2): WS07/08
  • Proof-Carrying Code (S2): SS08, SS10, SS11
  • Side-Channel Attacks on Software (S2): SS15, SS16, SS17, SS19, WS20/21
  • Software Security for Mobile Devices (S2): SS12, SS13, WS19/20
  • Static and Dynamic Program Analysis (S2): WS09/10
Graduate Seminars
  • Formal Methods and Information Security/Theoretical Computer Science: SS07
  • Formal Methods (jointly with H. Veith and C. Walther): WS07/08, SS08, WS08/09, SS09, WS09/10, SS10
  • MAIS Graduate Seminar: WS09/10, SS10, WS10/11, SS11, WS11/12, SS12, WS12/13, SS13, WS13/14, WS14/15, SS15, WS15/16, SS16, WS16/17, SS17, WS17/18, SS18, SS19, WS19/20, SS20, WS20/21, SS21, WS21/22, SS22
Lecture Series (Ringvorlesung)
  • Long-Term Security: SS07 (jointly with Prof. Dr. J. Buchmann, Prof. Dr. C. Eckert)
  • CASED Distinguished Lectures Series: SS09, WS09/10, SS10, WS10/11, SS11, WS11/12, SS12

Teaching at RWTH Aachen (WS05/06-WS06/07)

Lectures
  • Formal Methods for Information Security  (3+1), lecture with tutorial, SS06
Seminars
  • Formal Methods for Information Security - Advanced Topics (S2): WS06/07
  • Quantitative Aspects of Computer Security  (S2): WS06/07
  • Current Topics in Information Security  (S2): WS05/06
  • Network Security (S2): WS05/06
Graduate Seminars
  • Security Engineering: WS05/06, SS06, WS06/07

Teaching at ETH Zurich (WS03/04-SS05)

Lectures
  • Language-based Security  (2+0), lecture without tutorial, SS05
  • Security Engineering  (2+2), lecture with tutorial, WS04/05 (jointly with Dr. A. Pretschner)
  • Formal Methods for Information Security  (2+2), lecture with tutorial, SS04(jointly with PD. Dr. L. Vigano)
Tutorials for Undergraduate-Level Lectures
  • Computer Science 3, exercises, undergraduate-level, WS03/04

Teaching at Saarland University

Seminars
  • Security Engineering (S2), undergraduate-level seminar, SS02 (jointly with Prof. J. Siekmann, PD. Dr. W. Stephan, R. Vogt)
  • Ausgewaehlte Themen der Computersicherheit (S2), WS00/01 (jointly with Dr. D. Hutter)
  • Adaequatheit Logischer Spezifikationsformalismen (S2), WS97/98, (jointly with S. Autexier)
Tutorials for Graduate-Level Lectures
  • Einfuehrung in die Methoden der KI, exercises, graduate-level, SS97
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang