Christoph Sprenger

Identifiers

• name variant Christoph Sprenger 0.60 · backfill

Papers (5)

1. Protocols to Code: Formal Verification of a Next-Generation Internet Router cs.CR · 2024 · author #8
2. Formal Verification of the Sumcheck Protocol cs.CR · 2024 · author #3
3. Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version) cs.CR · 2022 · author #5
4. Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification cs.LO · 2020 · author #1
5. SoK: Delegation and Revocation, the Missing Links in the Web's Chain of Trust cs.CR · 2019 · author #4

Mentions

• 2405.06074 #8 · arxiv_oai · confidence 0.70 Christoph Sprenger
• 2402.06093 #3 · arxiv_oai · confidence 0.70 Christoph Sprenger
• 2212.04171 #5 · arxiv_oai · confidence 0.70 Christoph Sprenger
• 2010.04749 #1 · arxiv_oai · confidence 0.70 Christoph Sprenger
• 1906.10775 #4 · arxiv_oai · confidence 0.70 Christoph Sprenger

Frequent Coauthors

• David Basin 4 shared papers
• Felix A. Wolf 3 shared papers
• Peter M\"uller 3 shared papers
• Adrian Perrig 2 shared papers
• Marco Eilers 2 shared papers
• Ralf Sasse 2 shared papers
• Tobias Klenze 2 shared papers
• AbdelRahman Abdou 1 shared papers
• Azucena Garv\'ia Bosshard 1 shared papers
• Dionysios Spiliopoulos 1 shared papers
• Jo\~ao C. Pereira 1 shared papers
• Jonathan Bootle 1 shared papers
• Joseph Lallemand 1 shared papers
• Laurent Chuat 1 shared papers
• Linard Arquint 1 shared papers
• Markus Limbeck 1 shared papers
• Martin Clochard 1 shared papers
• Sofia Giampietro 1 shared papers
• Sven N. Wiesner 1 shared papers