Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Christoph Sprenger 0001

> Home > Persons

Person information

affiliation: ETH Zurich, Switzerland
affiliation (2002 - 2003): INRIA Sophia Antipolis, France
affiliation (2001 - 2002): Swedish Institute of Computer Science (SICS), Stockholm, Sweden
affiliation (PhD 2000): EPF Lausanne, Switzerland

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j12]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/BosshardSB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/BosshardSB24
Azucena Garvía Bosshard, Christoph Sprenger, Jonathan Bootle:
The Sumcheck Protocol. Arch. Formal Proofs 2024 (2024)
2023
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/KlenzeSB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/KlenzeSB23
Tobias Klenze, Christoph Sprenger, David A. Basin:
IsaNet: A framework for verifying secure data plane protocols. J. Comput. Secur. 31(3): 217-259 (2023)
2022
[j10]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/Klenze022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/Klenze022
Tobias Klenze, Christoph Sprenger:
IsaNet: Formalization of a Verification Framework for Secure Data Plane Protocols. Arch. Formal Proofs 2022 (2022)
2020
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/0001KEW0CB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/0001KEW0CB20
Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin:
Igloo: soundly linking compositional refinement and separation logic for distributed system verification. Proc. ACM Program. Lang. 4(OOPSLA): 152:1-152:31 (2020)
2018
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/SprengerB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/SprengerB18
Christoph Sprenger, David A. Basin:
Refining security protocols. J. Comput. Secur. 26(1): 71-120 (2018)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/NguyenSC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/NguyenSC18
Thanh Binh Nguyen, Christoph Sprenger, Cas Cremers:
Abstractions for security protocol verification. J. Comput. Secur. 26(4): 459-508 (2018)
2017
[j6]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/LallemandS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/LallemandS17
Joseph Lallemand, Christoph Sprenger:
Refining Authenticated Key Agreement with Strong Adversaries. Arch. Formal Proofs 2017 (2017)
[j5]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/SprengerS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/SprengerS17
Christoph Sprenger, Ivano Somaini:
Developing Security Protocols by Refinement. Arch. Formal Proofs 2017 (2017)
2015
[j4]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/MaricS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/MaricS15
Ognjen Maric, Christoph Sprenger:
Consensus Refined. Arch. Formal Proofs 2015 (2015)
2008
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/GurovHS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/GurovHS08
Dilian Gurov, Marieke Huisman, Christoph Sprenger:
Compositional verification of sequential programs with procedures. Inf. Comput. 206(7): 840-868 (2008)
2003
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ita/SprengerD03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/SprengerD03
Christoph Sprenger, Mads Dam:
On global induction mechanisms in a µ-calculus with explicit approximations. RAIRO Theor. Informatics Appl. 37(4): 365-391 (2003)
1995
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/ArbenzSLV95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/ArbenzSLV95
Peter Arbenz, Christoph Sprenger, Hans Peter Lüthi, Stefan Vogel:
SCIDDLE: A tool for large scale distributed computing. Concurr. Pract. Exp. 7(2): 121-146 (1995)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/ArquintWLSSWBM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/ArquintWLSSWBM23
Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller:
Sound Verification of Security Protocols: From Design to Interoperable Implementations. SP 2023: 1077-1093
2022
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/WeghornLSPB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/WeghornLSPB22
Thilo Weghorn, Si Liu, Christoph Sprenger, Adrian Perrig, David A. Basin:
N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures. CSF 2022: 147-162
2021
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Klenze0B21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Klenze0B21
Tobias Klenze, Christoph Sprenger, David A. Basin:
Formal Verification of Secure Forwarding Protocols. CSF 2021: 1-16
2020
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosp/ChuatAS0BP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosp/ChuatAS0BP20
Laurent Chuat, AbdelRahman Abdou, Ralf Sasse, Christoph Sprenger, David A. Basin, Adrian Perrig:
SoK: Delegation and Revocation, the Missing Links in the Web's Chain of Trust. EuroS&P 2020: 624-638
[c19]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/uss/LegnerKW0P20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/LegnerKW0P20
Markus Legner, Tobias Klenze, Marc Wyss, Christoph Sprenger, Adrian Perrig:
EPIC: Every Packet Is Checked in the Data Plane of a Path-Aware Internet. USENIX Security Symposium 2020: 541-558
2017
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/MaricSB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/MaricSB17
Ognjen Maric, Christoph Sprenger, David A. Basin:
Cutoff Bounds for Consensus Algorithms. CAV (2) 2017: 217-237
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosp/LallemandBS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosp/LallemandBS17
Joseph Lallemand, David A. Basin, Christoph Sprenger:
Refining Authenticated Key Agreement with Strong Adversaries. EuroS&P 2017: 92-107
2015
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/MaricSB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/MaricSB15
Ognjen Maric, Christoph Sprenger, David A. Basin:
Consensus Refined. DSN 2015: 391-402
[c15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/post/0003S15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/0003S15
Thanh Binh Nguyen, Christoph Sprenger:
Abstractions for Security Protocol Verification. POST 2015: 196-215
2014
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/MaricS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/MaricS14
Ognjen Maric, Christoph Sprenger:
Verification of a Transactional Memory Manager under Hardware Failures and Restarts. FM 2014: 449-464
2013
[c13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/post/NguyenS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/NguyenS13
Thanh Binh Nguyen, Christoph Sprenger:
Sound Security Protocol Transformations. POST 2013: 83-104
2012
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/SprengerB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/SprengerB12
Christoph Sprenger, David A. Basin:
Refining Key Establishment. CSF 2012: 230-246
2010
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/SprengerB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/SprengerB10
Christoph Sprenger, David A. Basin:
Developing security protocols by refinement. CCS 2010: 361-374
2008
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/SprengerB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/SprengerB08
Christoph Sprenger, David A. Basin:
Cryptographically-Sound Protocol-Model Abstractions. CSF 2008: 115-129
2007
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/SprengerB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/SprengerB07
Christoph Sprenger, David A. Basin:
A Monad-Based Modeling and Verification Toolbox with Application to Security Protocols. TPHOLs 2007: 302-318
2006
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/SprengerBBPW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/SprengerBBPW06
Christoph Sprenger, Michael Backes, David A. Basin, Birgit Pfitzmann, Michael Waidner:
Cryptographically Sound Theorem Proving. CSFW 2006: 153-166
2004
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/fase/HuismanGSC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/HuismanGSC04
Marieke Huisman, Dilian Gurov, Christoph Sprenger, Gennady Chugunov:
Checking Absence of Illicit Applet Interactions: A Case Study. FASE 2004: 84-98
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/SprengerGH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/SprengerGH04
Christoph Sprenger, Dilian Gurov, Marieke Huisman:
Compositional verification for secure loading of smart card applets. MEMOCODE 2004: 211-222
2003
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/SprengerD03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/SprengerD03
Christoph Sprenger, Mads Dam:
On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the µ-Calculus. FoSSaCS 2003: 425-440
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/SprengerW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/SprengerW03
Christoph Sprenger, Krzysztof Worytkiewicz:
A Verification Methodology for Infinite-State Message Passing Systems. MEMOCODE 2003: 255-264
2002
[c3]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fics/SprengerD02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fics/SprengerD02
Christoph Sprenger, Mads Dam:
A note on global induction in a mu-calculus with explicit approximations. FICS 2002: 22-24
1998
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/Sprenger98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Sprenger98
Christoph Sprenger:
A Verified Model Checker for the Modal µ-calculus in Coq. TACAS 1998: 167-183
1994
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/hpcn/ArbenzLSV94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hpcn/ArbenzLSV94
Peter Arbenz, Hans Peter Lüthi, Christoph Sprenger, Stefan Vogel:
SCIDDLE: A Tool for Large Scale Cooperative Computing. HPCN 1994: 326-327

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-06093
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-06093
Azucena Garvía Bosshard, Jonathan Bootle, Christoph Sprenger:
Formal Verification of the Sumcheck Protocol. CoRR abs/2402.06093 (2024)
[i5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-06074
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-06074
João C. Pereira, Tobias Klenze, Sofia Giampietro, Markus Limbeck, Dionysios Spiliopoulos, Felix A. Wolf, Marco Eilers, Christoph Sprenger, David A. Basin, Peter Müller, Adrian Perrig:
Protocols to Code: Formal Verification of a Next-Generation Internet Router. CoRR abs/2405.06074 (2024)
2022
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-04171
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-04171
Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller:
Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version). CoRR abs/2212.04171 (2022)
2020
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2010-04749
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-04749
Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin:
Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification. CoRR abs/2010.04749 (2020)
2019
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1906-10775
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-10775
Laurent Chuat, AbdelRahman Abdou, Ralf Sasse, Christoph Sprenger, David A. Basin, Adrian Perrig:
Proxy Certificates: The Missing Link in the Web's Chain of Trust. CoRR abs/1906.10775 (2019)
2006
[i1]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/SprengerBBPW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/SprengerBBPW06
Christoph Sprenger, Michael Backes, David A. Basin, Birgit Pfitzmann, Michael Waidner:
Cryptographically Sound Theorem Proving. IACR Cryptol. ePrint Arch. 2006: 47 (2006)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.