Christoph Sprenger - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2018

Refining security protocolsChristoph Sprenger, David A. Basin. jcs, 26(1):71-120, 2018. [doi]

2017

2015

Abstractions for Security Protocol VerificationThanh Binh Nguyen 0003, Christoph Sprenger. post 2015: 196-215 [doi]

Consensus RefinedOgnjen Maric, Christoph Sprenger. afp, 2015, 2015. [doi]

Consensus RefinedOgnjen Maric, Christoph Sprenger, David A. Basin. dsn 2015: 391-402 [doi]

2014

Verification of a Transactional Memory Manager under Hardware Failures and RestartsOgnjen Maric, Christoph Sprenger. FM 2014: 449-464 [doi]

2013

Sound Security Protocol TransformationsBinh Thanh Nguyen, Christoph Sprenger. post 2013: 83-104 [doi]

2012

Refining Key EstablishmentChristoph Sprenger, David A. Basin. csfw 2012: 230-246 [doi]

2010

Digital Water for AvatarChristoph Sprenger, Diego Trazzi, Allen Hemberger, Sebastian Marino. siggraph 2010: [doi]

Developing security protocols by refinementChristoph Sprenger, David A. Basin. ccs 2010: 361-374 [doi]

2008

Compositional verification of sequential programs with proceduresDilian Gurov, Marieke Huisman, Christoph Sprenger. iandc, 206(7):840-868, 2008. [doi]

Cryptographically-Sound Protocol-Model AbstractionsChristoph Sprenger, David A. Basin. csfw 2008: 115-129 [doi]

2007

A Monad-Based Modeling and Verification Toolbox with Application to Security ProtocolsChristoph Sprenger, David A. Basin. tphol 2007: 302-318 [doi]

2006

Cryptographically Sound Theorem ProvingChristoph Sprenger, Michael Backes, David A. Basin, Birgit Pfitzmann, Michael Waidner. csfw 2006: 153-166 [doi]

Cryptographically Sound Theorem ProvingChristoph Sprenger, Michael Backes, David A. Basin, Birgit Pfitzmann, Michael Waidner. iacr, 2006:47, 2006. [doi]

2004

Checking Absence of Illicit Applet Interactions: A Case StudyMarieke Huisman, Dilian Gurov, Christoph Sprenger, Gennady Chugunov. FASE 2004: 84-98 [doi]

Compositional verification for secure loading of smart card appletsChristoph Sprenger, Dilian Gurov, Marieke Huisman. memocode 2004: 211-222 [doi]

2003

A Verification Methodology for Infinite-State Message Passing SystemsChristoph Sprenger, Krzysztof Worytkiewicz. memocode 2003: 255-264 [doi]

On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the µ-CalculusChristoph Sprenger, Mads Dam. fossacs 2003: 425-440 [doi]

On global induction mechanisms in a µ-calculus with explicit approximationsChristoph Sprenger, Mads Dam. ita, 37(4):365-391, 2003. [doi]

2002

A note on global induction in a mu-calculus with explicit approximationsChristoph Sprenger, Mads Dam. fics 2002: 22-24

1998

A Verified Model Checker for the Modal µ-calculus in CoqChristoph Sprenger. TACAS 1998: 167-183 [doi]

1995

SCIDDLE: A tool for large scale distributed computingPeter Arbenz, Christoph Sprenger, Hans Peter Lüthi, Stefan Vogel. concurrency, 7(2):121-146, 1995. [doi]

1994

SCIDDLE: A Tool for Large Scale Cooperative ComputingPeter Arbenz, Hans Peter Lüthi, Christoph Sprenger, Stefan Vogel. hpcn 1994: 326-327

Sign in or sign up to see more results.

runs on WebDSL