Cas Cremers

Prof. Dr. Cas Cremers

Areas of interest

  • security protocols
  • formal methods
  • applied cryptography
  • analysis tools
  • automated verification
  • protocols and standards

Open postdoc positions new

We have open postdoc positions. Application deadline: May 20th!

My research involves the application of formal methods and cryptography to the analysis and development of secure systems. The resulting contributions include:

  1. Formal foundations of security

    How to mathematically define secure systems and their properties, and how to reason about them. For example:

  2. Supportive technologies

    We develop automated tools for analysing security protocols:

    A feature comparison of our tools is also available.

  3. Application example: Improving security standards

    We have used our analysis methods and tools in many real-world case studies, yielding direct impact. For example:

A complete list of publications, recent manuscripts, and bibtex files can be found here.

Short bio

Prof. Dr. Cas Cremers is a tenured faculty at the CISPA Helmholtz Center for Information Security and Honorary Professor at Saarland University, in Saarbruecken, Germany.

He obtained his PhD in 2006 from Eindhoven University of Technology in the Netherlands. From 2006 to 2013 he was a postdoctoral researcher, and senior researcher and lecturer, at ETH Zurich in Switzerland. In 2013 he moved to the University of Oxford as an Associate Professor. In 2015 he became Professor of Information security at the University of Oxford. In 2018 he joined the CISPA Helmholtz Center for Information Security in Germany.