Get started
Author

David von Oheimb

Observed names: D. von Oheimb, DAVID VON OHEIMB, David Oheimb, David Von Oheimb, David van Oheimb, Dr. David Von Oheimb, Oheimb, David Von, Oheimb, David von 1970-, Von Oheimb, David, von Oheimb, David
OpenAlex ID: A5109864764
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
2005 · A. Armando, D. Basin, et al. · Lecture notes in computer science · 1,446
Javalight is type-safe---definitely
1998 · Tobias Nipkow, David von Oheimb · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 155
PDF
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
2012 · Alessandro Armando, Wihem Arsac, et al. · Lecture notes in computer science · 104
PDF
Hoare logic for Java in Isabelle/HOL
2001 · David von Oheimb · Concurrency and Computation Practice and Experience · 93
Machine-Checking the Java Specification: Proving Type-Safety
1999 · David von Oheimb, Tobias Nipkow · Lecture notes in computer science · 88
Information Flow Control Revisited: Noninfluence = Noninterference + Nonleakage
2004 · David von Oheimb · Lecture notes in computer science · 85
Holcf = Hol + Lcf
1999 · OLAF MÜLLER, TOBIAS NIPKOW, et al. · Journal of Functional Programming · 61
PDF
Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited
2002 · David von Oheimb, Tobias Nipkow · Lecture notes in computer science · 42
Hoare Logic for Mutual Recursion and Local Variables
1999 · David von Oheimb · Lecture notes in computer science · 38
Impact of Public Key Enabled Applications on the Operation and Maintenance of Commercial Airplanes
2007 · Richard Robinson, Mingyan Li, et al. · 7th AIAA ATIO Conf, 2nd CEIAT Int'l Conf on Innov and Integr in Aero Sciences,17th LTA Systems Tech Conf; followed by 2nd TEOS Forum · 36
ASLan++ — A Formal Security Specification Language for Distributed Systems
2011 · David von Oheimb, Sebastian Mödersheim · Lecture notes in computer science · 33
Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety
2007 · Richard Robinson, Mingyan Li, et al. · Lecture notes in computer science · 32
Formal Security Analysis with Interacting State Machines
2002 · David von Oheimb, Volkmar Lotz · Lecture notes in computer science · 23
IT Security Architecture Approaches for Smart Metering and Smart Grid
2013 · David von Oheimb · Lecture notes in computer science · 22
Challenges for IT Infrastructure Supporting Secure Network-Enabled Commercial Airplane Operations
2007 · Richard Robinson, Krishna Sampigethaya, et al. · AIAA Infotech@Aerospace 2007 Conference and Exhibit · 22
RALL: Machine-supported proofs for relation algebra
1997 · David von Oheimb, Thomas F. Gritzner · Lecture notes in computer science · 17
Interacting State Machines: A Stateful Approach to Proving Security
2003 · David von Oheimb · Lecture notes in computer science · 15
Formal Security Analysis of Electronic Software Distribution Systems
2008 · Monika Maidl, David von Oheimb, et al. · Lecture notes in computer science · 8
Analyzing SLE 88 memory management security using Interacting State Machines
2005 · David von Oheimb, Volkmar Lotz, et al. · International Journal of Information Security · 8
A Formal Security Model of the Infineon SLE 88 Smart Card Memory Management
2003 · David von Oheimb, Georg Walter, et al. · Lecture notes in computer science · 8
Generic Interacting State Machines and Their Instantiation with Dynamic Features
2003 · David von Oheimb, Volkmar Lotz · Lecture notes in computer science · 6
Interacting State Machines for Mobility
2003 · Thomas A. Kuhn, David von Oheimb · Lecture notes in computer science · 6
Internet X.509 Public Key Infrastructure -- Certificate Management Protocol (CMP)
2025 · H. Brockhaus, D. von Oheimb, et al. · 4
PDF
Lightweight Certificate Management Protocol (CMP) Profile
2023 · H. Brockhaus, D. von Oheimb, et al. · 4
Designing and Verifying Core Protocols for Location Privacy
2006 · David von Oheimb, Jorge Cuellar · Lecture notes in computer science · 4
Works count: 69
Citation count: 2,370
H-index: 16
I10-index: 17
Year
Topic
Type