Concepedia

Christoph Sprenger

CS

11

Publications

263

Citations

11

H-Index

1995

Active since

Affiliations

ETH Zurich(Current)

KTH Royal Institute of Technology

Institut national de recherche en sciences et technologies du numérique

Christoph Sprenger is an author at ETH Zurich specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationVerificationFormal MethodsCryptographyData SecurityInformation SecurityHardware SecurityAutomated Reasoning

Publications per year

1995–2023

11

Publications

11

Cryptographically Sound Theorem Proving

Christoph Sprenger, M. Backes, D. Basin et al. · 2006 · 67 citations

Cryptographic Primitive, Engineering, Information Security +18

Compositional verification of sequential programs with procedures

Dilian Gurov, Marieke Huisman, Christoph Sprenger · Information and Computation · 2008 · 29 citations

Program Checking, Engineering, Program Analysis +9

SoK: Delegation and Revocation, the Missing Links in the Web's Chain of Trust

Laurent Chuat, AbdelRahman Abdou, Ralf Sasse et al. · 2020 · 27 citations · Full text

Engineering, Information Security, Trust Management Architecture +22

Developing security protocols by refinement

Christoph Sprenger, David Basin · 2010 · 24 citations

Cryptographic Primitive, Engineering, Stepwise Refinement +17

Igloo: soundly linking compositional refinement and separation logic for distributed system verification

Christoph Sprenger, Tobias Klenze, Marco Eilers et al. · Proceedings of the ACM on Programming Languages · 2020 · 24 citations · Full text

Rows per page

1–5 of 11