Christoph Sprenger


Short CV

  1. Since 2012: Leading scientific collaborator (senior scientist and lecturer) in David Basin’s Information Security Group at ETH Zurich.

  2. Spring 2004: Joined David Basin’s Information Security Group at ETH Zurich.

  3. 2002-2003: Postdoc, INRIA Sophia Antipolis, France, with Gilles Barthe (supported by an ERCIM Fellowship and the ModoCop project).

  4. 2001-2002: Postdoc, Swedish Institute of Computer Science (SICS), Stockholm, with Mads Dam (supported by a Swiss European Fellowship from the SNF).

  5. 2000: Ph.D., EPF Lausanne.

  6. 1992: Diploma in Computer Science, ETH Zurich.


Research interests

Formal methods for the design and analysis of computer programs and protocols with an emphasis on concurrent and distributed systems, security protocols, and information security in general. Correct-by-construction development using stepwise refinement. Abstraction techniques for efficient verification. Compositional and inductive reasoning. Program and temporal logics. Reasoning in higher-order logics and type theories. Interactive theorem proving (e.g., Isabelle, Coq).

Recent projects

  1. 2016-: Verification of secure internet routing protocols (verifiedSCION), including co-verification of models and implementations (Igloo).

  2. 2014-2017: Development of consensus algorithms by stepwise refinement, verification of consensus algorithms.

  3. 2010-2014: EU NoE project NESSoS, worked on abstractions of security protocols.

  4. 2007-: Development of security protocols by stepwise refinement.

  5. 2008-2012: ZISC project on the development of secure boot processes.

  6. 2004-2008: ZISC project on the cryptographically faithful verification of security protocols.


Here is a list of my publications.


Here is a list of my supervision activities.


Here is a list of my teaching activities.

Contact information

Institute of Information Security

Department of Computer Science
ETH Zurich

Office: CNB F 108

Address details and map

Fon: +41 44 632 75 56
Fax: +41 44 632 11 72

Email: where X=@

GPG public key

Last update: Aug 31, 2022 by Ch. Sprenger