Cas Cremers

Prof. Dr. Cas Cremers
Associate Professor in the Department of Computer Science and Fellow of Kellogg College

Short bio:

Cas Cremers is an Associate Professor within the Computer Science Department at the University of Oxford and a Fellow of Kellogg College. Before joining the University of Oxford, he was a postdoctoral researcher and later a senior researcher at ETH Zurich, Switzerland, from 2006 to 2013. He obtained his PhD from Eindhoven University of Technology, the Netherlands, in 2006.

Cremers' research centers around 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:

    We also provide a high-level comparison of our tools.

  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.