Christoph Sprenger

49 papers A* 5A 9B 3C 2Journal 21Unranked 9

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Looping for Good: Cyclic Proofs for Security Protocols. CCS Felix Linker, Christoph Sprenger, Cas Cremers, David A. Basin
2025	A*	`conf`	Protocols to Code: Formal Verification of a Secure Next-Generation Internet Router. CCS 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
2025	—	`conf`	Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions. TACAS (3) Shabnam Ghasemirad, Christoph Sprenger, Si Liu, Luca Multazzu, David A. Basin
2025	J	`jnl`	VerIso: Verifiable Isolation Guarantees for Database Transactions. CoRR Shabnam Ghasemirad, Si Liu, Christoph Sprenger, Luca Multazzu, David A. Basin
2025	J	`jnl`	VerIso: Verifiable Isolation Guarantees for Database Transactions. Proc. VLDB Endow. Shabnam Ghasemirad, Si Liu, Christoph Sprenger, Luca Multazzu, David A. Basin
2024	A	`conf`	Formal Verification of the Sumcheck Protocol. CSF Azucena Garvía Bosshard, Jonathan Bootle, Christoph Sprenger
2024	J	`jnl`	Formal Verification of the Sumcheck Protocol. CoRR Azucena Garvía Bosshard, Jonathan Bootle, Christoph Sprenger
2024	J	`jnl`	Protocols to Code: Formal Verification of a Next-Generation Internet Router. CoRR 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
2024	J	`jnl`	Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions. CoRR Shabnam Ghasemirad, Christoph Sprenger, Si Liu, Luca Multazzu, David A. Basin
2024	J	`jnl`	The Sumcheck Protocol. Arch. Formal Proofs Azucena Garvía Bosshard, Christoph Sprenger, Jonathan Bootle
2023	J	`jnl`	IsaNet: A framework for verifying secure data plane protocols. J. Comput. Secur. Tobias Klenze, Christoph Sprenger, David A. Basin
2023	A*	`conf`	Sound Verification of Security Protocols: From Design to Interoperable Implementations. SP Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller
2022	J	`jnl`	IsaNet: Formalization of a Verification Framework for Secure Data Plane Protocols. Arch. Formal Proofs Tobias Klenze, Christoph Sprenger
2022	A	`conf`	N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures. CSF Thilo Weghorn, Si Liu, Christoph Sprenger, Adrian Perrig, David A. Basin
2022	J	`jnl`	Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version). CoRR Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller
2021	A	`conf`	Formal Verification of Secure Forwarding Protocols. CSF Tobias Klenze, Christoph Sprenger, David A. Basin
2020	A*	`conf`	EPIC: Every Packet Is Checked in the Data Plane of a Path-Aware Internet. USENIX Security Symposium Markus Legner, Tobias Klenze, Marc Wyss, Christoph Sprenger, Adrian Perrig
2020	J	`jnl`	Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification. CoRR Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin
2020	J	`jnl`	Igloo: soundly linking compositional refinement and separation logic for distributed system verification. Proc. ACM Program. Lang. Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin
2020	A	`conf`	SoK: Delegation and Revocation, the Missing Links in the Web's Chain of Trust. EuroS&P Laurent Chuat, AbdelRahman Abdou, Ralf Sasse, Christoph Sprenger, David A. Basin, Adrian Perrig
2019	J	`jnl`	Proxy Certificates: The Missing Link in the Web's Chain of Trust. CoRR Laurent Chuat, AbdelRahman Abdou, Ralf Sasse, Christoph Sprenger, David A. Basin, Adrian Perrig
2018	J	`jnl`	Abstractions for security protocol verification. J. Comput. Secur. Thanh Binh Nguyen, Christoph Sprenger, Cas Cremers
2018	J	`jnl`	Refining security protocols. J. Comput. Secur. Christoph Sprenger, David A. Basin
2017	—	`conf`	Cutoff Bounds for Consensus Algorithms. CAV (2) Ognjen Maric, Christoph Sprenger, David A. Basin
2017	J	`jnl`	Developing Security Protocols by Refinement. Arch. Formal Proofs Christoph Sprenger, Ivano Somaini
2017	A	`conf`	Refining Authenticated Key Agreement with Strong Adversaries. EuroS&P Joseph Lallemand, David A. Basin, Christoph Sprenger
2017	J	`jnl`	Refining Authenticated Key Agreement with Strong Adversaries. Arch. Formal Proofs Joseph Lallemand, Christoph Sprenger
2015	—	`conf`	Abstractions for Security Protocol Verification. POST Thanh Binh Nguyen, Christoph Sprenger
2015	A	`conf`	Consensus Refined. DSN Ognjen Maric, Christoph Sprenger, David A. Basin
2015	J	`jnl`	Consensus Refined. Arch. Formal Proofs Ognjen Maric, Christoph Sprenger
2014	B	`conf`	Verification of a Transactional Memory Manager under Hardware Failures and Restarts. FM Ognjen Maric, Christoph Sprenger
2013	—	`conf`	Sound Security Protocol Transformations. POST Thanh Binh Nguyen, Christoph Sprenger
2012	—	`conf`	Attack-preserving Security Protocol Transformations. ESSoS Doctoral Symposium Binh Thanh Nguyen, Christoph Sprenger, David A. Basin
2012	A	`conf`	Refining Key Establishment. CSF Christoph Sprenger, David A. Basin
2010	A*	`conf`	Developing security protocols by refinement. CCS Christoph Sprenger, David A. Basin
2008	J	`jnl`	Compositional verification of sequential programs with procedures. Inf. Comput. Dilian Gurov, Marieke Huisman, Christoph Sprenger
2008	A	`conf`	Cryptographically-Sound Protocol-Model Abstractions. CSF Christoph Sprenger, David A. Basin
2007	—	`conf`	A Monad-Based Modeling and Verification Toolbox with Application to Security Protocols. TPHOLs Christoph Sprenger, David A. Basin
2006	—	`conf`	Cryptographically Sound Theorem Proving. CSFW Christoph Sprenger, Michael Backes, David A. Basin, Birgit Pfitzmann, Michael Waidner
2006	J	`jnl`	Cryptographically Sound Theorem Proving. IACR Cryptol. ePrint Arch. Christoph Sprenger, Michael Backes, David A. Basin, Birgit Pfitzmann, Michael Waidner
2004	B	`conf`	Checking Absence of Illicit Applet Interactions: A Case Study. FASE Marieke Huisman, Dilian Gurov, Christoph Sprenger, Gennady Chugunov
2004	C	`conf`	Compositional verification for secure loading of smart card applets. MEMOCODE Christoph Sprenger, Dilian Gurov, Marieke Huisman
2003	C	`conf`	A Verification Methodology for Infinite-State Message Passing Systems. MEMOCODE Christoph Sprenger, Krzysztof Worytkiewicz
2003	J	`jnl`	On global induction mechanisms in a µ-calculus with explicit approximations. RAIRO Theor. Informatics Appl. Christoph Sprenger, Mads Dam
2003	B	`conf`	On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the µ-Calculus. FoSSaCS Christoph Sprenger, Mads Dam
2002	—	`conf`	A note on global induction in a mu-calculus with explicit approximations. FICS Christoph Sprenger, Mads Dam
1998	A	`conf`	A Verified Model Checker for the Modal µ-calculus in Coq. TACAS Christoph Sprenger
1995	J	`jnl`	SCIDDLE: A tool for large scale distributed computing. Concurr. Pract. Exp. Peter Arbenz, Christoph Sprenger, Hans Peter Lüthi, Stefan Vogel
1994	—	`conf`	SCIDDLE: A Tool for Large Scale Cooperative Computing. HPCN Peter Arbenz, Hans Peter Lüthi, Christoph Sprenger, Stefan Vogel