David von Oheimb

According to our database¹, David von Oheimb authored at least 28 papers between 1997 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

Lightweight Certificate Management Protocol (CMP) Profile.

[BibT_eX]

[DOI]

Hendrik Brockhaus

David von Oheimb

Steffen Fries

RFC, November, 2023

Certificate Management Protocol (CMP) Updates.

[BibT_eX]

[DOI]

Hendrik Brockhaus

David von Oheimb

John Gray

RFC, November, 2023

2012

The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

IT Security Architecture Approaches for Smart Metering and Smart Grid.

[BibT_eX]

[DOI]

David von Oheimb

Proceedings of the Smart Grid Security - First International Workshop, 2012

2010

A Case Study in Decentralized, Dynamic, Policy-Based, Authorization and Trust Management - Automated Software Distribution for Airplanes.

[BibT_eX]

[DOI]

Proceedings of the Security and Trust Management - 6th International Workshop, 2010

ASLan++ - A Formal Security Specification Language for Distributed Systems.

[BibT_eX]

[DOI]

David von Oheimb

Sebastian Mödersheim

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2008

Formal Security Analysis of Electronic Software Distribution Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2008

2007

Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2007

2006

Designing and Verifying Core Protocols for Location Privacy.

[BibT_eX]

[DOI]

David von Oheimb

Jorge Cuéllar

Proceedings of the Information Security, 9th International Conference, 2006

Formal Security Analysis in Industry, at the Example of Electronic Distribution of Aircraft Software (EDS).

[BibT_eX]

[DOI]

David von Oheimb

Proceedings of the Leveraging Applications of Formal Methods, 2006

Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche.

[BibT_eX]

[DOI]

David von Oheimb

Proceedings of the FM 2006: Formal Methods, 2006

2005

Analyzing SLE 88 memory management security using Interacting State Machines.

[BibT_eX]

[DOI]

David von Oheimb

Volkmar Lotz

Georg Walter

Int. J. Inf. Sec., 2005

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Information Flow Control Revisited: Noninfluence = Noninterference + Nonleakage.

[BibT_eX]

[DOI]

David von Oheimb

Proceedings of the Computer Security, 2004

2003

Generic Interacting State Machines and Their Instantiation with Dynamic Features.

[BibT_eX]

[DOI]

David von Oheimb

Volkmar Lotz

Proceedings of the Formal Methods and Software Engineering, 2003

Interacting State Machines for Mobility.

[BibT_eX]

[DOI]

Thomas A. Kuhn

David von Oheimb

Proceedings of the FME 2003: Formal Methods, 2003

A Formal Security Model of the Infineon SLE 88 Smart Card Memory Managment.

[BibT_eX]

[DOI]

David von Oheimb

Georg Walter

Volkmar Lotz

Proceedings of the Computer Security, 2003

2002

Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited.

[BibT_eX]

[DOI]

David von Oheimb

Tobias Nipkow

Proceedings of the FME 2002: Formal Methods, 2002

Interacting State Machines: A Stateful Approach to Proving Security.

[BibT_eX]

[DOI]

David von Oheimb

Proceedings of the Formal Aspects of Security, First International Conference, 2002

Formal Security Analysis with Interacting State Machines.

[BibT_eX]

[DOI]

David von Oheimb

Volkmar Lotz

Proceedings of the Computer Security, 2002

2001

Analyzing Java in Isabelle-HOL: formalization, type safety and Hoare logic.

[BibT_eX]

[DOI]

David von Oheimb

PhD thesis, 2001

Hoare logic for Java in Isabelle/HOL.

[BibT_eX]

[DOI]

David von Oheimb

Concurr. Comput. Pract. Exp., 2001

1999

HOLCF=HOL+LCF.

[BibT_eX]

[DOI]

J. Funct. Program., 1999

Machine-Checking the Java Specification: Proving Type-Safety.

[BibT_eX]

[DOI]

David von Oheimb

Tobias Nipkow

Proceedings of the Formal Syntax and Semantics of Java, 1999

Hoare Logic for Mutual Recursion and Local Variables.

[BibT_eX]

[DOI]

David von Oheimb

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999

1998

Java<i><sub>light</sub></i> is Type-Safe - Definitely.

[BibT_eX]

[DOI]

Tobias Nipkow

David von Oheimb

Proceedings of the POPL '98, 1998

Java - formal fundiert.

[BibT_eX]

[DOI]

David von Oheimb

Cornelia Pusch

Proceedings of the JIT '98, 1998

1997

RALL: Machine-Supported Proofs for Relation Algebra.

[BibT_eX]

[DOI]

David von Oheimb

Thomas F. Gritzner

Proceedings of the Automated Deduction, 1997

David von Oheimb

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...