Christoph Sprenger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
10
Active years
1998–2025
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CCS | Looping for Good: Cyclic Proofs for Security Protocols. | Felix Linker, Christoph Sprenger, Cas Cremers, David A. Basin |
| 2025 | CCS | Protocols to Code: Formal Verification of a Secure Next-Generation Internet Router. | Joo C. Pereira, Tobias Klenze, Sofia Giampietro, Markus Limbeck, Dionysios Spiliopoulos, Felix A. Wolf, Marco Eilers, Christoph Sprenger, David A. Basin, Peter Mller, Adrian Perrig |
| 2025 | TACAS | Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions. | Shabnam Ghasemirad, Christoph Sprenger, Si Liu, Luca Multazzu, David A. Basin |
| 2023 | SIGGRAPH | Bodyopt - A Character Deformation Pipeline For Avatar: The Way of Water. | Christoph Sprenger, Tobias Mack, Alexey Stomakhin, Florian Fernandez |
| 2023 | SP | Sound Verification of Security Protocols: From Design to Interoperable Implementations. | Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Mller |
| 2017 | CAV | Cutoff Bounds for Consensus Algorithms. | Ognjen Maric, Christoph Sprenger, David A. Basin |
| 2015 | DSN | Consensus Refined. | Ognjen Maric, Christoph Sprenger, David A. Basin |
| 2014 | FM | Verification of a Transactional Memory Manager under Hardware Failures and Restarts. | Ognjen Maric, Christoph Sprenger |
| 2010 | CCS | Developing security protocols by refinement. | Christoph Sprenger, David A. Basin |
| 2010 | SIGGRAPH | Digital Water for Avatar. | Christoph Sprenger, Diego Trazzi, Allen Hemberger, Sebastian Marino |
| 2008 | SIGGRAPH | Large scale foliage animation for | Carsten Kolve, Christoph Sprenger, Malcolm Humphreys, Fred Chapman |
| 2004 | FASE | Checking Absence of Illicit Applet Interactions: A Case Study. | Marieke Huisman, Dilian Gurov, Christoph Sprenger, Gennady Chugunov |
| 2004 | MEMOCODE | Compositional verification for secure loading of smart card applets. | Christoph Sprenger, Dilian Gurov, Marieke Huisman |
| 2003 | FOSSACS | On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the -Calculus. | Christoph Sprenger, Mads Dam |
| 2003 | MEMOCODE | A Verification Methodology for Infinite-State Message Passing Systems. | Christoph Sprenger, Krzysztof Worytkiewicz |
| 2003 | SIGGRAPH | Rule-based crowds: generation, animation, cloth and rendering of 15.000 unique human characters. | Stephan Trojansky, Florian Hu, Kolja Khler, Christoph Sprenger, Stephan Stapel |
| 1998 | TACAS | A Verified Model Checker for the Modal µ-calculus in Coq. | Christoph Sprenger |