David von Oheimb

	2008
21		Monika Maidl, David von Oheimb, Peter Hartmann, Richard Robinson: Formal Security Analysis of Electronic Software Distribution Systems. SAFECOMP 2008: 415-428
	2007
20		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
	2006
19		David von Oheimb: Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche. FM 2006: 592-597
18		David von Oheimb, Jorge Cuéllar: Designing and Verifying Core Protocols for Location Privacy. ISC 2006: 502-516
17		David von Oheimb: Formal Security Analysis in Industry, at the Example of Electronic Distribution of Aircraft Software (EDS). ISoLA 2006: 5
	2005
16		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
15		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)
	2004
14		David von Oheimb: Information Flow Control Revisited: Noninfluence = Noninterference + Nonleakage. ESORICS 2004: 225-243
	2003
13		David von Oheimb, Georg Walter, Volkmar Lotz: A Formal Security Model of the Infineon SLE 88 Smart Card Memory Managment. ESORICS 2003: 217-234
12		Thomas A. Kuhn, David von Oheimb: Interacting State Machines for Mobility. FME 2003: 698-718
11		David von Oheimb, Volkmar Lotz: Generic Interacting State Machines and Their Instantiation with Dynamic Features. ICFEM 2003: 144-166
	2002
10		David von Oheimb, Volkmar Lotz: Formal Security Analysis with Interacting State Machines. ESORICS 2002: 212-228
9		David von Oheimb: Interacting State Machines: A Stateful Approach to Proving Security. FASec 2002: 15-32
8		David von Oheimb, Tobias Nipkow: Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited. FME 2002: 89-105
	2001
7		David von Oheimb: Hoare logic for Java in Isabelle/HOL. Concurrency and Computation: Practice and Experience 13(13): 1173-1214 (2001)
	1999
6		David von Oheimb: Hoare Logic for Mutual Recursion and Local Variables. FSTTCS 1999: 168-180
5		David von Oheimb, Tobias Nipkow: Machine-Checking the Java Specification: Proving Type-Safety. Formal Syntax and Semantics of Java 1999: 119-156
4		Olaf Müller, Tobias Nipkow, David von Oheimb, Oscar Slotosch: HOLCF=HOL+LCF. J. Funct. Program. 9(2): 191-223 (1999)
	1998
3		David von Oheimb, Cornelia Pusch: Java - formal fundiert. Java-Informations-Tage 1998: 77-86
2		Tobias Nipkow, David von Oheimb: Javalight is Type-Safe - Definitely. POPL 1998: 161-170
	1997
1		David von Oheimb, Thomas F. Gritzner: RALL: Machine-Supported Proofs for Relation Algebra. CADE 1997: 380-394

Coauthor Index

1	Alessandro Armando	[16]
2	David A. Basin	[16]
3	Yohan Boichut	[16]
4	Jens-Uwe Bußer	[20]
5	Yannick Chevalier	[16]
6	Luca Compagna	[16]
7	Jorge Cuéllar	[16] [18] [20]
8	Paul Hankes Drielsma	[16]
9	Thomas F. Gritzner	[1]
10	Peter Hartmann	[21]
11	Pierre-Cyrille Héam	[16]
12	Olga Kouchnarenko	[16]
13	Thomas A. Kuhn	[12]
14	Mingyan Li	[20]
15	Scott Lintelman	[20]
16	Volkmar Lotz	[10] [11] [13] [15]
17	Monika Maidl	[21]
18	Jacopo Mantovani	[16]
19	Sebastian Mödersheim	[16]
20	Olaf Müller	[4]
21	Tobias Nipkow	[2] [4] [5] [8]
22	Radha Poovendran	[20]
23	Cornelia Pusch	[3]
24	Richard Robinson	[20] [21]
25	Michaël Rusinowitch	[16]
26	Krishna Sampigethaya	[20]
27	Judson Santiago	[16]
28	Oscar Slotosch	[4]
29	Mathieu Turuani	[16]
30	Luca Viganò	[16]
31	Laurent Vigneron	[16]
32	Georg Walter	[13] [15]

Colors in the list of coauthors