- Lecture ``Introduction to IT Security´´ on 2015-07-30 as part of the
Smart Energy Systems & Entrepreneurship Summer School 2015 at the Hector School of Engineering and Management of the KIT in Karlsruhe, Germany
- Lecture ``Smart Grid Security — Protecting Intelligent Grid Control and Smart Metering´´ on 2015-07-30 as part of the
Smart Energy Systems & Entrepreneurship Summer School 2015 at the Hector School of Engineering and Management of the KIT in Karlsruhe, Germany
- Beitrag ``Product certification and formal security analysis at industrial examples´´ zur
Ringvorlesung ``System Security (Software-Sicherheit)´´ am Lehrstuhl für IT-Security der Uni Passau im Sommersemester 2013
- Beitrag ``Formal security analysis and product certification in industry, at practical examples´´ zur
Ringvorlesung ``Software-Sicherheit´´ am Lehrstuhl für IT-Security der Uni Passau im Sommersemester 2012
- Gastvortrag ``Formal security analysis and certification in industry, at the examples of an AADS and the AVANTSSAR project´´ im Rahmen der
Vorlesung ``Security Engineering´´ von Ricarda Weber an der TU München im Sommersemester 2012
- Guest lecture ``Formal Methods and Verification of Protocols and Systems´´ as part of the
``Selected Topics in System Security´´ course at the Institute for Security in Information Technology of TU Munich, winter semester 2011/12
- Gastvortrag ``Formal analysis of IT product security in industry´´ im Rahmen der IT-Security-Vorlesung von Peter Hartmann
an der Fakultät Informatik der Hochschule Landshut im Wintersemester 2011/12
- Beitrag ``Formal security analysis and certification in industry, at the examples of an AADS and the AVANTSSAR project´´ zur
Ringvorlesung ``Software-Sicherheit´´ am Lehrstuhl für IT-Security der Uni Passau im Sommersemester 2011
- Gastvortrag ``Formal security analysis and certification in industry, at the examples of an AADS and the AVANTSSAR project´´ im Rahmen der
Vorlesung ``Security Engineering´´ von Ricarda Weber an der TU München im Sommersemester 2011
- Gastvortrag ``Formal security analysis and certification in industry´´ im Rahmen der IT-Security-Vorlesung von Peter Hartmann
an der Fakultät Informatik der Hochschule Landshut im Wintersemester 2010/11
- Gastvortrag ``Formal security analysis and certification in industry, at the example of an AADS´´ im Rahmen der
Vorlesung ``Security Engineering´´ von Ricarda Weber an der TU München im Sommersemester 2010
- Gastvortrag ``Formal security analysis and certification in industry, at the example of an AADS´´
im Rahmen der
Vorlesung ``Security Engineering´´ von Ricarda Weber an der TU München im Sommersemester 2009
- Gastvortrag ``Formal security analysis and certification in industry, at the example of an AADS´´
im Rahmen der
Vorlesung ``Security Engineering´´ von Ricarda Weber an der TU München im Sommersemester 2008
- Vorlesung ``Formale Sicherheitsanalyse´´ an der TU München im Wintersemester 2005/06
- Vorlesung ``Formale Sicherheitsmodellierung´´ an der LMU München im Sommersemester 2005
- Skript zum Java-Kurs an der TU München vom Oktober 1998
URL: http://ddvo.net/teach/index.html,
Last modified: Fri Jul 31 20:04:02 CEST 2015