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-41173 Fax: +49 89 636-48000

Papers (scientific publications)

Talks (including slides)

Teaching (with slides in English)

Affiliation and Activities

• Senior Research Scientist at Siemens Corporate Technology, IT Security, doing formal security analysis,
  as well as general security architecture consulting and support of Common Criteria certifications
• Siemens site leader of the EU funded project AVANTSSAR:
  Automated VAlidatioN of Trust and Security of Service-oriented ARchitectures
• 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

      formerly:

• Siemens site leader of the EU funded project AVISPA:
  Automated Validation of Internet Security Protocols and Applications
• 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, Count of visits since 1996-Sep-27:   Last modified: Wed Dec 30 23:03:05 CET 2009