RALL: Machine-Supported Proofs for Relation Algebra. - David von Oheimb; Thomas F. Gritzner (CADE, 1997)

Java - formal fundiert. - David von Oheimb; Cornelia Pusch (Java-Informations-Tage, 1998)

Javalight is Type-Safe - Definitely. - Tobias Nipkow; David von Oheimb (POPL, 1998)

Hoare Logic for Mutual Recursion and Local Variables. - David von Oheimb (FSTTCS, 1999)

Machine-Checking the Java Specification: Proving Type-Safety. - David von Oheimb; Tobias Nipkow (Formal Syntax and Semantics of Java, 1999)

HOLCF=HOL+LCF. - Olaf Müller; Tobias Nipkow; David von Oheimb; Oscar Slotosch (J. Funct. Program., 1999)

Hoare logic for Java in Isabelle/HOL. - David von Oheimb (Concurr. Comput. Pract. Exp., 2001)

Analyzing Java in Isabelle-HOL: formalization, type safety and Hoare logic. - David von Oheimb (2001)

Formal Security Analysis with Interacting State Machines. - David von Oheimb; Volkmar Lotz (ESORICS, 2002)

Interacting State Machines: A Stateful Approach to Proving Security. - David von Oheimb (FASec, 2002)

Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited. - David von Oheimb; Tobias Nipkow (FME, 2002)

A Formal Security Model of the Infineon SLE 88 Smart Card Memory Managment. - David von Oheimb; Georg Walter; Volkmar Lotz (ESORICS, 2003)

Interacting State Machines for Mobility. - Thomas A. Kuhn; David von Oheimb (FME, 2003)

Generic Interacting State Machines and Their Instantiation with Dynamic Features. - David von Oheimb; Volkmar Lotz (ICFEM, 2003)

Information Flow Control Revisited: Noninfluence = Noninterference + Nonleakage. - David von Oheimb (ESORICS, 2004)

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. - Alessandro Armando; David A. Basin; Yohan Boichut; Yannick Chevalier; Luca Compagna; Jorge Cuéllar; Paul Hankes Drielsma; Pierre-Cyrille Héam; Olga Kouchnarenko; Jacopo Mantovani; Sebastian Mödersheim; David von Oheimb; et al. (CAV, 2005)

Analyzing SLE 88 memory management security using Interacting State Machines. - David von Oheimb; Volkmar Lotz; Georg Walter (Int. J. Inf. Sec., 2005)

Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche. - David von Oheimb (FM, 2006)

Formal Security Analysis in Industry, at the Example of Electronic Distribution of Aircraft Software (EDS). - David von Oheimb (ISoLA, 2006)

Designing and Verifying Core Protocols for Location Privacy. - David von Oheimb; Jorge Cuéllar (ISC, 2006)

Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety. - Richard Robinson; Mingyan Li; Scott Lintelman; Krishna Sampigethaya; Radha Poovendran; David von Oheimb; Jens-Uwe Bußer; Jorge Cuéllar (SAFECOMP, 2007)

Formal Security Analysis of Electronic Software Distribution Systems. - Monika Maidl; David von Oheimb; Peter Hartmann; Richard Robinson (SAFECOMP, 2008)

ASLan++ - A Formal Security Specification Language for Distributed Systems. - David von Oheimb; Sebastian Mödersheim (FMCO, 2010)

A Case Study in Decentralized, Dynamic, Policy-Based, Authorization and Trust Management - Automated Software Distribution for Airplanes. - Peter Hartmann; Monika Maidl; David von Oheimb; Richard Robinson (STM, 2010)

IT Security Architecture Approaches for Smart Metering and Smart Grid. - David von Oheimb (SmartGridSec, 2012)

The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. - Alessandro Armando; Wihem Arsac; Tigran Avanesov; Michele Barletta; Alberto Calvi; Alessandro Cappai; Roberto Carbone; Yannick Chevalier; Luca Compagna; Jorge Cuéllar; Gabriel Erzse; Simone Frau; et al. (TACAS, 2012)

Certificate Management Protocol (CMP) Updates. - Hendrik Brockhaus; David von Oheimb; John Gray (RFC, 2023)

Lightweight Certificate Management Protocol (CMP) Profile. - Hendrik Brockhaus; David von Oheimb; Steffen Fries (RFC, 2023)

BRSKI with Alternative Enrollment (BRSKI-AE). - David von Oheimb; Steffen Fries; Hendrik Brockhaus (RFC, 2025)

Internet X.509 Public Key Infrastructure - Certificate Management Protocol (CMP). - Hendrik Brockhaus; David von Oheimb; Mike Ounsworth; John Gray (RFC, 2025)

Internet X.509 Public Key Infrastructure - HTTP Transfer for the Certificate Management Protocol (CMP). - Hendrik Brockhaus; David von Oheimb; Mike Ounsworth; John Gray (RFC, 2025)