Christoph Sprenger

ETH Zurich, Switzerland

other persons with the same name:

• Christoph Sprenger

2008
13	EE	Christoph Sprenger, David A. Basin: Cryptographically-Sound Protocol-Model Abstractions. CSF 2008: 115-129
12	EE	Dilian Gurov, Marieke Huisman, Christoph Sprenger: Compositional verification of sequential programs with procedures. Inf. Comput. 206(7): 840-868 (2008)
2007
11	EE	Christoph Sprenger, David A. Basin: A Monad-Based Modeling and Verification Toolbox with Application to Security Protocols. TPHOLs 2007: 302-318
2006
10	EE	Christoph Sprenger, Michael Backes, David A. Basin, Birgit Pfitzmann, Michael Waidner: Cryptographically Sound Theorem Proving. CSFW 2006: 153-166
2004
9	EE	Marieke Huisman, Dilian Gurov, Christoph Sprenger, Gennady Chugunov: Checking Absence of Illicit Applet Interactions: A Case Study. FASE 2004: 84-98
8	EE	Christoph Sprenger, Dilian Gurov, Marieke Huisman: Compositional verification for secure loading of smart card applets. MEMOCODE 2004: 211-222
2003
7	EE	Christoph Sprenger, Mads Dam: On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the µ-Calculus. FoSSaCS 2003: 425-440
6	EE	Christoph Sprenger, Krzysztof Worytkiewicz: A Verification Methodology for Infinite-State Message Passing Systems. MEMOCODE 2003: 255-264
5	EE	Christoph Sprenger, Mads Dam: On global induction mechanisms in a µ-calculus with explicit approximations. ITA 37(4): 365-391 (2003)
2002
4		Christoph Sprenger, Mads Dam: A note on global induction in a mu-calculus with explicit approximations. FICS 2002: 22-24
1998
3	EE	Christoph Sprenger: A Verified Model Checker for the Modal µ-calculus in Coq. TACAS 1998: 167-183
1995
2	EE	Peter Arbenz, Christoph Sprenger, Hans Peter Lüthi, Stefan Vogel: SCIDDLE: A tool for large scale distributed computing. Concurrency - Practice and Experience 7(2): 121-146 (1995)
1994
1		Peter Arbenz, Hans Peter Lüthi, Christoph Sprenger, Stefan Vogel: SCIDDLE: A Tool for Large Scale Cooperative Computing. HPCN 1994: 326-327

Coauthor Index

1	Peter Arbenz	[1] [2]
2	Michael Backes	[10]
3	David A. Basin	[10] [11] [13]
4	Gennady Chugunov	[9]
5	Mads Dam	[4] [5] [7]
6	Dilian Gurov	[8] [9] [12]
7	Marieke Huisman	[8] [9] [12]
8	Hans Peter Lüthi	[1] [2]
9	Birgit Pfitzmann	[10]
10	Stefan Vogel	[1] [2]
11	Michael Waidner	[10]
12	Krzysztof Worytkiewicz	[6]

Colors in the list of coauthors