Cas Cremers

Dr. Cas Cremers

Associate Professor, Department of Computer Science and Fellow of Kellogg College

Areas of interest

  • security
  • formal methods
  • cryptography
  • analysis tools
  • protocols and standards

CDT mini-projects new

If you are a student in Oxford's Cyber Security CDT (2014 cohort), please have a look at my two mini-project proposals (requires an Oxford login) .

Open positions new

Interested in working in areas of mutual interest? If you have a strong background in logics, formal methods, or mathematics, have a look at some of the papers and consider applying for one of the following:

  • Full and Partial Studentships for Doctoral Study commencing October 2015. The application deadline is January 9, 2015. If you have any questions, contact me early and include a full CV.
  • Looking to do a Post-doc? Get in touch with your full CV and a description of the type of projects you would be interested in. I do not have an open position at the moment, but there are funding opportunities for excellent projects.

Dr. 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:

    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

Before joining Oxford, Dr. Cremers was a postdoctoral and senior researcher from 2006 to 2013 at ETH Zurich in Switzerland. He obtained his PhD in 2006 from Eindhoven University of Technology in the Netherlands.