David von Oheimb

2008
20	EE	Monika Maidl, David von Oheimb, Peter Hartmann, Richard Robinson: Formal Security Analysis of Electronic Software Distribution Systems. SAFECOMP 2008: 415-428
2007
19	EE	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
18	EE	David von Oheimb: Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche. FM 2006: 592-597
17	EE	David von Oheimb, Jorge Cuéllar: Designing and Verifying Core Protocols for Location Privacy. ISC 2006: 502-516
2005
16	EE	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	EE	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	EE	David von Oheimb: Information Flow Control Revisited: Noninfluence = Noninterference + Nonleakage. ESORICS 2004: 225-243
2003
13	EE	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	EE	Thomas A. Kuhn, David von Oheimb: Interacting State Machines for Mobility. FME 2003: 698-718
11	EE	David von Oheimb, Volkmar Lotz: Generic Interacting State Machines and Their Instantiation with Dynamic Features. ICFEM 2003: 144-166
2002
10	EE	David von Oheimb, Volkmar Lotz: Formal Security Analysis with Interacting State Machines. ESORICS 2002: 212-228
9	EE	David von Oheimb: Interacting State Machines: A Stateful Approach to Proving Security. FASec 2002: 15-32
8	EE	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	EE	David von Oheimb: Hoare Logic for Mutual Recursion and Local Variables. FSTTCS 1999: 168-180
5	EE	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	EE	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	[19]
5	Yannick Chevalier	[16]
6	Luca Compagna	[16]
7	Jorge Cuéllar	[16] [17] [19]
8	Paul Hankes Drielsma	[16]
9	Thomas F. Gritzner	[1]
10	Peter Hartmann	[20]
11	Pierre-Cyrille Héam	[16]
12	Olga Kouchnarenko	[16]
13	Thomas A. Kuhn	[12]
14	Mingyan Li	[19]
15	Scott Lintelman	[19]
16	Volkmar Lotz	[10] [11] [13] [15]
17	Monika Maidl	[20]
18	Jacopo Mantovani	[16]
19	Sebastian Mödersheim	[16]
20	Olaf Müller	[4]
21	Tobias Nipkow	[2] [4] [5] [8]
22	Radha Poovendran	[19]
23	Cornelia Pusch	[3]
24	Richard Robinson	[19] [20]
25	Michaël Rusinowitch	[16]
26	Krishna Sampigethaya	[19]
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