SCIDDLE: A Tool for Large Scale Cooperative Computing. - Peter Arbenz; Hans Peter Lüthi; Christoph Sprenger 001; Stefan Vogel (HPCN, 1994)

SCIDDLE: A tool for large scale distributed computing. - Peter Arbenz; Christoph Sprenger 001; Hans Peter Lüthi; Stefan Vogel (Concurr. Pract. Exp., 1995)

A Verified Model Checker for the Modal µ-calculus in Coq. - Christoph Sprenger 001 (TACAS, 1998)

A note on global induction in a mu-calculus with explicit approximations. - Christoph Sprenger 001; Mads Dam (FICS, 2002)

On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the µ-Calculus. - Christoph Sprenger 001; Mads Dam (FoSSaCS, 2003)

A Verification Methodology for Infinite-State Message Passing Systems. - Christoph Sprenger 001; Krzysztof Worytkiewicz (MEMOCODE, 2003)

On global induction mechanisms in a µ-calculus with explicit approximations. - Christoph Sprenger 001; Mads Dam (RAIRO Theor. Informatics Appl., 2003)

Checking Absence of Illicit Applet Interactions: A Case Study. - Marieke Huisman; Dilian Gurov; Christoph Sprenger 001; Gennady Chugunov (FASE, 2004)

Compositional verification for secure loading of smart card applets. - Christoph Sprenger 001; Dilian Gurov; Marieke Huisman (MEMOCODE, 2004)

Cryptographically Sound Theorem Proving. - Christoph Sprenger 001; Michael Backes 001; David A. Basin; Birgit Pfitzmann; Michael Waidner (CSFW, 2006)

A Monad-Based Modeling and Verification Toolbox with Application to Security Protocols. - Christoph Sprenger 001; David A. Basin (TPHOLs, 2007)

Cryptographically-Sound Protocol-Model Abstractions. - Christoph Sprenger 001; David A. Basin (CSF, 2008)

Compositional verification of sequential programs with procedures. - Dilian Gurov; Marieke Huisman; Christoph Sprenger 001 (Inf. Comput., 2008)

Developing security protocols by refinement. - Christoph Sprenger 001; David A. Basin (CCS, 2010)

Refining Key Establishment. - Christoph Sprenger 001; David A. Basin (CSF, 2012)

Attack-preserving Security Protocol Transformations. - Binh Thanh Nguyen; Christoph Sprenger 001; David A. Basin (ESSoS Doctoral Symposium, 2012)

Sound Security Protocol Transformations. - Thanh Binh Nguyen 003; Christoph Sprenger 001 (POST, 2013)

Verification of a Transactional Memory Manager under Hardware Failures and Restarts. - Ognjen Maric; Christoph Sprenger 001 (FM, 2014)

Consensus Refined. - Ognjen Maric; Christoph Sprenger 001; David A. Basin (DSN, 2015)

Abstractions for Security Protocol Verification. - Thanh Binh Nguyen 003; Christoph Sprenger 001 (POST, 2015)

Consensus Refined. - Ognjen Maric; Christoph Sprenger 001 (Arch. Formal Proofs, 2015)

Cutoff Bounds for Consensus Algorithms. - Ognjen Maric; Christoph Sprenger 001; David A. Basin (CAV (2), 2017)

Refining Authenticated Key Agreement with Strong Adversaries. - Joseph Lallemand; David A. Basin; Christoph Sprenger 001 (EuroS&P, 2017)

Refining Authenticated Key Agreement with Strong Adversaries. - Joseph Lallemand; Christoph Sprenger 001 (Arch. Formal Proofs, 2017)

Developing Security Protocols by Refinement. - Christoph Sprenger 001; Ivano Somaini (Arch. Formal Proofs, 2017)

Abstractions for security protocol verification. - Thanh Binh Nguyen 003; Christoph Sprenger 001; Cas Cremers (J. Comput. Secur., 2018)

Refining security protocols. - Christoph Sprenger 001; David A. Basin (J. Comput. Secur., 2018)

Proxy Certificates: The Missing Link in the Web's Chain of Trust. - Laurent Chuat; AbdelRahman Abdou; Ralf Sasse; Christoph Sprenger 001; David A. Basin; Adrian Perrig (CoRR, 2019)

SoK: Delegation and Revocation, the Missing Links in the Web's Chain of Trust. - Laurent Chuat; AbdelRahman Abdou; Ralf Sasse; Christoph Sprenger 001; David A. Basin; Adrian Perrig (EuroS&P, 2020)

EPIC: Every Packet Is Checked in the Data Plane of a Path-Aware Internet. - Markus Legner; Tobias Klenze; Marc Wyss; Christoph Sprenger 001; Adrian Perrig (USENIX Security Symposium, 2020)

Igloo: soundly linking compositional refinement and separation logic for distributed system verification. - Christoph Sprenger 001; Tobias Klenze; Marco Eilers; Felix A. Wolf; Peter Müller 001; Martin Clochard; David A. Basin (Proc. ACM Program. Lang., 2020)

Formal Verification of Secure Forwarding Protocols. - Tobias Klenze; Christoph Sprenger 001; David A. Basin (CSF, 2021)

Formal Verification of Secure Forwarding Protocols (Artifact). - Tobias Klenze; Christoph Sprenger 001; David A. Basin (Zenodo, 2021)

N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures. - Thilo Weghorn; Si Liu 003; Christoph Sprenger 001; Adrian Perrig; David A. Basin (CSF, 2022)

IsaNet: Formalization of a Verification Framework for Secure Data Plane Protocols. - Tobias Klenze; Christoph Sprenger 001 (Arch. Formal Proofs, 2022)

Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version). - Linard Arquint; Felix A. Wolf; Joseph Lallemand; Ralf Sasse; Christoph Sprenger 001; Sven N. Wiesner; David A. Basin; Peter Müller 001 (CoRR, 2022)

Sound Verification of Security Protocols: From Design to Interoperable Implementations. - Linard Arquint; Felix A. Wolf; Joseph Lallemand; Ralf Sasse; Christoph Sprenger 001; Sven N. Wiesner; David A. Basin; Peter Müller 001 (Zenodo, 2022)

Sound Verification of Security Protocols: From Design to Interoperable Implementations. - Linard Arquint; Felix A. Wolf; Joseph Lallemand; Ralf Sasse; Christoph Sprenger 001; Sven N. Wiesner; David A. Basin; Peter Müller 001 (Zenodo, 2022)

Sound Verification of Security Protocols: From Design to Interoperable Implementations. - Linard Arquint; Felix A. Wolf; Joseph Lallemand; Ralf Sasse; Christoph Sprenger 001; Sven N. Wiesner; David A. Basin; Peter Müller 001 (SP, 2023)

IsaNet: A framework for verifying secure data plane protocols. - Tobias Klenze; Christoph Sprenger 001; David A. Basin (J. Comput. Secur., 2023)

Formal Verification of the Sumcheck Protocol. - Azucena Garvía Bosshard; Jonathan Bootle; Christoph Sprenger 001 (CSF, 2024)

The Sumcheck Protocol. - Azucena Garvía Bosshard; Christoph Sprenger 001; Jonathan Bootle (Arch. Formal Proofs, 2024)

Protocols to Code: Formal Verification of a Next-Generation Internet Router. - João C. Pereira; Tobias Klenze; Sofia Giampietro; Markus Limbeck; Dionysios Spiliopoulos; Felix A. Wolf; Marco Eilers; Christoph Sprenger 001; David A. Basin; Peter Müller 001; Adrian Perrig (CoRR, 2024)

Looping for Good: Cyclic Proofs for Security Protocols. - Felix Linker; Christoph Sprenger 001; Cas Cremers; David A. Basin (CCS, 2025)

Protocols to Code: Formal Verification of a Secure Next-Generation Internet Router. - João C. Pereira; Tobias Klenze; Sofia Giampietro; Markus Limbeck; Dionysios Spiliopoulos; Felix Wolf; Marco Eilers; Christoph Sprenger 001; David A. Basin; Peter Müller 001; Adrian Perrig (CCS, 2025)

Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions. - Shabnam Ghasemirad; Christoph Sprenger 001; Si Liu 003; Luca Multazzu; David A. Basin (TACAS (3), 2025)

Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions (Artifacts). - Shabnam Ghasemirad; Christoph Sprenger 001; Si Liu 003; Luca Multazzu; David A. Basin (Zenodo, 2025)

VerIso: Verifiable Isolation Guarantees for Database Transactions. - Shabnam Ghasemirad; Si Liu 003; Christoph Sprenger 001; Luca Multazzu; David A. Basin (Proc. VLDB Endow., 2025)

VerIso: Verifiable Isolation Guarantees for Database Transactions (Artifacts). - Shabnam Ghasemirad; Si Liu 003; Christoph Sprenger 001; Luca Multazzu; David A. Basin (Zenodo, 2025)

Looping for Good: Cyclic Proofs for Security Protocols. - Felix Linker; Christoph Sprenger 001; Cas Cremers; David A. Basin (Zenodo, 2025)

Looping for Good: Cyclic Proofs for Security Protocols. - Felix Linker; Christoph Sprenger 001; Cas Cremers; David A. Basin (Zenodo, 2025)

Looping for Good: Cyclic Proofs for Security Protocols. - Felix Linker; Christoph Sprenger 001; Cas Cremers; David A. Basin (Zenodo, 2025)

Looping for Good: Cyclic Proofs for Security Protocols. - Felix Linker; Christoph Sprenger 001; Cas Cremers; David A. Basin (Zenodo, 2025)

Looping for Good: Cyclic Proofs for Security Protocols. - Felix Linker; Christoph Sprenger 001; Cas Cremers; David A. Basin (Zenodo, 2025)

Looping for Good: Cyclic Proofs for Security Protocols. - Felix Linker; Christoph Sprenger 001; Cas Cremers; David A. Basin (Zenodo, 2025)

Artifact for the paper "Protocols to Code: Formal Verification of a Secure Next-Generation Internet Router". - João C. Pereira; Tobias Klenze; Sofia Giampietro; Markus Limbeck; Dionysios Spiliopoulos; Felix A. Wolf; Marco Eilers; Christoph Sprenger 001; David A. Basin; Peter Müller 001; Adrian Perrig (Zenodo, 2025)