David von Oheimb

Dr. rer. nat., Dipl.-Inform. Univ.

eMail:   see my contact information
Snail:   David von Oheimb
         Siemens AG
         Otto-Hahn-Ring 6
         D-81739 München, Germany
Phone:   +49 89 636-631118
Fax:     +49 89 636-48000

Papers (scientific publications)

Talks (including slides)

Teaching (with slides in English)

Affiliation and Activities

Senior Key Expert Research Scientist at Siemens Corporate Technology, IT Security in the security architecture group
focusing on securiy consulting, formal security analysis, as well as support of implementations and Common Criteria certifications

formerly:

PC member of the Security Track of the ACM Symposium on Applied Computing (SAC),
the Workshop on Foundations and Techniques for Open Source Software Certification, and others
Siemens site leader of the EU funded projects AVANTSSAR (see also my unofficial tool release) and AVISPA
Secretary of the FME subgroup ForTIA: Formal Techniques Industrial Association
Developing Interacting State Machines (ISMs) for abstract modeling and verification of reactive systems
Research Assistant of Tobias Nipkow, who also supervised my PhD thesis
at Technische Universität München, Department of Computer Science, Chair IV
Member of the projects Bali and VerifiCard, treating the semantics of a substantial subset of Java in Isabelle/HOL
Associated member of the PhD programme "Logic in Computer Science" in Munich

Research Interests

Formal IT security analysis
Semantics of programming languages
Specification and verification
Theorem proving

Curriculum Vitae

Personal Homepage

URL: http://ddvo.net/index.html, Last modified: Fri Jul 31 20:00:06 CEST 2015 . Count of visits since 1996-Sep-27:

Please send any comments to webmaster@von-Oheimb.de