David von Oheimb: Lehre

• Guest lecture ``Formal Methods and Verification of Protocols and Systems´´ as part of the ``Selected Topics in System Security´´ course coordinated by Prof. Dr.-Ing. Jörg Sauerbrey 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