David von Oheimb

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 2

Top Venues

RFC

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Hendrik Brockhaus, David von Oheimb, Steffen Fries
Lightweight Certificate Management Protocol (CMP) Profile. RFC 9483 (2023)
Hendrik Brockhaus, David von Oheimb, John Gray
Certificate Management Protocol (CMP) Updates. RFC 9480 (2023)
David von Oheimb
IT Security Architecture Approaches for Smart Metering and Smart Grid. SmartGridSec (2012)
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, Marius Minea, Sebastian Mödersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Viganò
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. TACAS (2012)
David von Oheimb, Sebastian Mödersheim
ASLan++ - A Formal Security Specification Language for Distributed Systems. FMCO (2010)
Peter Hartmann, Monika Maidl, David von Oheimb, Richard Robinson
A Case Study in Decentralized, Dynamic, Policy-Based, Authorization and Trust Management - Automated Software Distribution for Airplanes. STM (2010)
Monika Maidl, David von Oheimb, Peter Hartmann, Richard Robinson
Formal Security Analysis of Electronic Software Distribution Systems. SAFECOMP (2008)
Richard Robinson, Mingyan Li, Scott Lintelman, Krishna Sampigethaya, Radha Poovendran, David von Oheimb, Jens-Uwe Bußer, Jorge Cuéllar
Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety. SAFECOMP (2007)
David von Oheimb, Jorge Cuéllar
Designing and Verifying Core Protocols for Location Privacy. ISC (2006)
David von Oheimb
Formal Security Analysis in Industry, at the Example of Electronic Distribution of Aircraft Software (EDS). ISoLA (2006)
David von Oheimb
Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche. FM (2006)
David von Oheimb, Volkmar Lotz, Georg Walter
Analyzing SLE 88 memory management security using Interacting State Machines. Int. J. Inf. Sec. 4 (3) (2005)
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, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò, Laurent Vigneron
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. CAV (2005)
David von Oheimb
Information Flow Control Revisited: Noninfluence = Noninterference + Nonleakage. ESORICS (2004)
Thomas A. Kuhn, David von Oheimb
Interacting State Machines for Mobility. FME (2003)
David von Oheimb, Volkmar Lotz
Generic Interacting State Machines and Their Instantiation with Dynamic Features. ICFEM (2003)
David von Oheimb, Georg Walter, Volkmar Lotz
A Formal Security Model of the Infineon SLE 88 Smart Card Memory Managment. ESORICS (2003)
David von Oheimb
Interacting State Machines: A Stateful Approach to Proving Security. FASec (2002)
David von Oheimb, Tobias Nipkow
Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited. FME (2002)
David von Oheimb, Volkmar Lotz
Formal Security Analysis with Interacting State Machines. ESORICS (2002)
David von Oheimb
Hoare logic for Java in Isabelle/HOL. Concurr. Comput. Pract. Exp. 13 (13) (2001)
David von Oheimb
Hoare Logic for Mutual Recursion and Local Variables. FSTTCS (1999)
David von Oheimb, Tobias Nipkow
Machine-Checking the Java Specification: Proving Type-Safety. Formal Syntax and Semantics of Java (1999)
Olaf Müller, Tobias Nipkow, David von Oheimb, Oscar Slotosch
HOLCF=HOL+LCF. J. Funct. Program. 9 (2) (1999)
Tobias Nipkow, David von Oheimb
is Type-Safe - Definitely. POPL (1998)
David von Oheimb, Cornelia Pusch
Java - formal fundiert. Java-Informations-Tage (1998)
David von Oheimb, Thomas F. Gritzner
RALL: Machine-Supported Proofs for Relation Algebra. CADE (1997)

David von Oheimb.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David von Oheimb