David von Oheimb

32 papers A* 2A 5B 3C 3Journal 9Unranked 9

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Clarification and Enhancement of the CSR Attributes Definition in RFC 7030. RFC Michael Richardson, Owen Friel, David von Oheimb, Dan Harkins
2025	J	`jnl`	BRSKI with Alternative Enrollment (BRSKI-AE). RFC David von Oheimb, Steffen Fries, Hendrik Brockhaus
2025	J	`jnl`	Internet X.509 Public Key Infrastructure - Certificate Management Protocol (CMP). RFC Hendrik Brockhaus, David von Oheimb, Mike Ounsworth, John Gray
2025	J	`jnl`	Internet X.509 Public Key Infrastructure - HTTP Transfer for the Certificate Management Protocol (CMP). RFC Hendrik Brockhaus, David von Oheimb, Mike Ounsworth, John Gray
2023	J	`jnl`	Certificate Management Protocol (CMP) Updates. RFC Hendrik Brockhaus, David von Oheimb, John Gray
2023	J	`jnl`	Lightweight Certificate Management Protocol (CMP) Profile. RFC Hendrik Brockhaus, David von Oheimb, Steffen Fries
2012	—	`conf`	IT Security Architecture Approaches for Smart Metering and Smart Grid. SmartGridSec David von Oheimb
2012	A	`conf`	The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. TACAS 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ò
2010	—	`conf`	A Case Study in Decentralized, Dynamic, Policy-Based, Authorization and Trust Management - Automated Software Distribution for Airplanes. STM Peter Hartmann, Monika Maidl, David von Oheimb, Richard Robinson
2010	—	`conf`	ASLan++ - A Formal Security Specification Language for Distributed Systems. FMCO David von Oheimb, Sebastian Mödersheim
2008	B	`conf`	Formal Security Analysis of Electronic Software Distribution Systems. SAFECOMP Monika Maidl, David von Oheimb, Peter Hartmann, Richard Robinson
2007	B	`conf`	Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety. SAFECOMP Richard Robinson, Mingyan Li, Scott Lintelman, Krishna Sampigethaya, Radha Poovendran, David von Oheimb, Jens-Uwe Bußer, Jorge Cuéllar
2006	C	`conf`	Designing and Verifying Core Protocols for Location Privacy. ISC David von Oheimb, Jorge Cuéllar
2006	B	`conf`	Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche. FM David von Oheimb
2006	C	`conf`	Formal Security Analysis in Industry, at the Example of Electronic Distribution of Aircraft Software (EDS). ISoLA David von Oheimb
2005	J	`jnl`	Analyzing SLE 88 memory management security using Interacting State Machines. Int. J. Inf. Sec. David von Oheimb, Volkmar Lotz, Georg Walter
2005	A*	`conf`	The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. CAV 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
2004	A	`conf`	Information Flow Control Revisited: Noninfluence = Noninterference + Nonleakage. ESORICS David von Oheimb
2003	A	`conf`	A Formal Security Model of the Infineon SLE 88 Smart Card Memory Managment. ESORICS David von Oheimb, Georg Walter, Volkmar Lotz
2003	C	`conf`	Generic Interacting State Machines and Their Instantiation with Dynamic Features. ICFEM David von Oheimb, Volkmar Lotz
2003	—	`conf`	Interacting State Machines for Mobility. FME Thomas A. Kuhn, David von Oheimb
2002	A	`conf`	Formal Security Analysis with Interacting State Machines. ESORICS David von Oheimb, Volkmar Lotz
2002	—	`conf`	Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited. FME David von Oheimb, Tobias Nipkow
2002	—	`conf`	Interacting State Machines: A Stateful Approach to Proving Security. FASec David von Oheimb
2001	—	`—`	Analyzing Java in Isabelle-HOL: formalization, type safety and Hoare logic. David von Oheimb
2001	J	`jnl`	Hoare logic for Java in Isabelle/HOL. Concurr. Comput. Pract. Exp. David von Oheimb
1999	J	`jnl`	HOLCF=HOL+LCF. J. Funct. Program. Olaf Müller, Tobias Nipkow, David von Oheimb, Oscar Slotosch
1999	—	`conf`	Hoare Logic for Mutual Recursion and Local Variables. FSTTCS David von Oheimb
1999	—	`conf`	Machine-Checking the Java Specification: Proving Type-Safety. Formal Syntax and Semantics of Java David von Oheimb, Tobias Nipkow
1998	A*	`conf`	Java POPL Tobias Nipkow, David von Oheimb
1998	—	`conf`	Java - formal fundiert. Java-Informations-Tage David von Oheimb, Cornelia Pusch
1997	A	`conf`	RALL: Machine-Supported Proofs for Relation Algebra. CADE David von Oheimb, Thomas F. Gritzner