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 7805-22262

Papers (scientific publications)

Talks (including slides)

Teaching (with slides as far as available in English)

Affiliations and Activities

• Senior Key Expert Research Scientist at Siemens Technology as a member of the in the IT security architecture group.
  My current focus is on concepts, IETF standardization, and software components for Public-Key Infrastructure (PKI).
  
• Committer at OpenSSL
• Independent developer of personal OSS projects and contributor to various further ones, most of them on GitHub

      formerly:

• At Siemens I also have been doing general security consulting, formal security analysis,
  and support for security implementations and Common Criteria certifications.
• 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, created around 1996, last modified: 2023-02-27. Please send any comments to webmaster@von-Oheimb.de