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 as member of the in the IT security architecture group.
  My current focus is on concepts and software components for Public-Key Infrastructure (PKI).
  I also have been doing general security consulting, formal security analysis,
  and support for security implementations and Common Criteria certifications.
• Committer at OpenSSL

      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: Sat Feb 13 20:57:00 CET 2021 . Count of visits since 1996-Sep-27: Please send any comments to webmaster@von-Oheimb.de