Christoph Sprenger

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 21

Top Topics

Coloured Petri Nets

Security Protocols

Top Venues

Arch. Formal Proofs

J. Comput. Secur.

Publications

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 (2024)
Azucena Garvía Bosshard, Jonathan Bootle, Christoph Sprenger
Formal Verification of the Sumcheck Protocol. CoRR (2024)
Azucena Garvía Bosshard, Christoph Sprenger, Jonathan Bootle
The Sumcheck Protocol. Arch. Formal Proofs 2024 (2024)
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)
Tobias Klenze, Christoph Sprenger, David A. Basin
IsaNet: A framework for verifying secure data plane protocols. J. Comput. Secur. 31 (3) (2023)
Tobias Klenze, Christoph Sprenger
IsaNet: Formalization of a Verification Framework for Secure Data Plane Protocols. Arch. Formal Proofs 2022 (2022)
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)
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 (2022)
Tobias Klenze, Christoph Sprenger, David A. Basin
Formal Verification of Secure Forwarding Protocols. CSF (2021)
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) (2020)
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)
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)
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 (2020)
Tomás Skrivan, Andreas Söderström, John Johansson, Christoph Sprenger, Ken Museth, Chris Wojtan
Wave curves: simulating lagrangian water waves on dynamically deforming surfaces. ACM Trans. Graph. 39 (4) (2020)
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 (2019)
Thanh Binh Nguyen, Christoph Sprenger, Cas Cremers
Abstractions for security protocol verification. J. Comput. Secur. 26 (4) (2018)
Christoph Sprenger, David A. Basin
Refining security protocols. J. Comput. Secur. 26 (1) (2018)
Joseph Lallemand, David A. Basin, Christoph Sprenger
Refining Authenticated Key Agreement with Strong Adversaries. EuroS&P (2017)
Joseph Lallemand, Christoph Sprenger
Refining Authenticated Key Agreement with Strong Adversaries. Arch. Formal Proofs 2017 (2017)
Ognjen Maric, Christoph Sprenger, David A. Basin
Cutoff Bounds for Consensus Algorithms. CAV (2) (2017)
Christoph Sprenger, Ivano Somaini
Developing Security Protocols by Refinement. Arch. Formal Proofs 2017 (2017)
Ognjen Maric, Christoph Sprenger, David A. Basin
Consensus Refined. DSN (2015)
Ognjen Maric, Christoph Sprenger
Consensus Refined. Arch. Formal Proofs 2015 (2015)
Thanh Binh Nguyen, Christoph Sprenger
Abstractions for Security Protocol Verification. POST (2015)
Ognjen Maric, Christoph Sprenger
Verification of a Transactional Memory Manager under Hardware Failures and Restarts. FM (2014)
Thanh Binh Nguyen, Christoph Sprenger
Sound Security Protocol Transformations. POST (2013)
Christoph Sprenger, David A. Basin
Refining Key Establishment. CSF (2012)
Christoph Sprenger, David A. Basin
Developing security protocols by refinement. CCS (2010)
Dilian Gurov, Marieke Huisman, Christoph Sprenger
Compositional verification of sequential programs with procedures. Inf. Comput. 206 (7) (2008)
Christoph Sprenger, David A. Basin
Cryptographically-Sound Protocol-Model Abstractions. CSF (2008)
Christoph Sprenger, David A. Basin
A Monad-Based Modeling and Verification Toolbox with Application to Security Protocols. TPHOLs (2007)
Christoph Sprenger, Michael Backes, David A. Basin, Birgit Pfitzmann, Michael Waidner
Cryptographically Sound Theorem Proving. CSFW (2006)
Christoph Sprenger, Michael Backes, David A. Basin, Birgit Pfitzmann, Michael Waidner
Cryptographically Sound Theorem Proving. IACR Cryptol. ePrint Arch. 2006 (2006)
Christoph Sprenger, Dilian Gurov, Marieke Huisman
Compositional verification for secure loading of smart card applets. MEMOCODE (2004)
Marieke Huisman, Dilian Gurov, Christoph Sprenger, Gennady Chugunov
Checking Absence of Illicit Applet Interactions: A Case Study. FASE (2004)
Christoph Sprenger, Mads Dam
On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the µ-Calculus. FoSSaCS (2003)
Christoph Sprenger, Krzysztof Worytkiewicz
A Verification Methodology for Infinite-State Message Passing Systems. MEMOCODE (2003)
Christoph Sprenger, Mads Dam
On global induction mechanisms in a µ-calculus with explicit approximations. RAIRO Theor. Informatics Appl. 37 (4) (2003)
Christoph Sprenger, Mads Dam
A note on global induction in a mu-calculus with explicit approximations. FICS (2002)
Christoph Sprenger
A Verified Model Checker for the Modal µ-calculus in Coq. TACAS (1998)
Peter Arbenz, Christoph Sprenger, Hans Peter Lüthi, Stefan Vogel
SCIDDLE: A tool for large scale distributed computing. Concurr. Pract. Exp. 7 (2) (1995)
Peter Arbenz, Hans Peter Lüthi, Christoph Sprenger, Stefan Vogel
SCIDDLE: A Tool for Large Scale Cooperative Computing. HPCN (1994)