David von Oheimb

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: 267-282

David von Oheimb, Sebastian Mödersheim: ASLan++ - A Formal Security Specification Language for Distributed Systems. FMCO 2010: 1-22

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: 68-83

Monika Maidl, David von Oheimb, Peter Hartmann, Richard Robinson: Formal Security Analysis of Electronic Software Distribution Systems. SAFECOMP 2008: 415-428

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: 28-39

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

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

David von Oheimb, Jorge Cuéllar: Designing and Verifying Core Protocols for Location Privacy. ISC 2006: 502-516

David von Oheimb, Volkmar Lotz, Georg Walter: Analyzing SLE 88 memory management security using Interacting State Machines. Int. J. Inf. Sec. 4(3): 155-171 (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: 281-285

David von Oheimb: Information Flow Control Revisited: Noninfluence = Noninterference + Nonleakage. ESORICS 2004: 225-243

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

Thomas A. Kuhn, David von Oheimb: Interacting State Machines for Mobility. FME 2003: 698-718

David von Oheimb, Volkmar Lotz: Generic Interacting State Machines and Their Instantiation with Dynamic Features. ICFEM 2003: 144-166

David von Oheimb, Volkmar Lotz: Formal Security Analysis with Interacting State Machines. ESORICS 2002: 212-228

David von Oheimb: Interacting State Machines: A Stateful Approach to Proving Security. FASec 2002: 15-32

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

David von Oheimb: Hoare logic for Java in Isabelle/HOL. Concurrency and Computation: Practice and Experience 13(13): 1173-1214 (2001)

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

David von Oheimb: Hoare Logic for Mutual Recursion and Local Variables. FSTTCS 1999: 168-180

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

David von Oheimb, Cornelia Pusch: Java - formal fundiert. Java-Informations-Tage 1998: 77-86

Tobias Nipkow, David von Oheimb: Java_light is Type-Safe - Definitely. POPL 1998: 161-170

David von Oheimb, Thomas F. Gritzner: RALL: Machine-Supported Proofs for Relation Algebra. CADE 1997: 380-394