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
URL: http://ddvo.net/teach/index.html, Last modified: Sat Jun 11 14:07:37 CEST 2011