Dr Cas Cremers received his PhD from Eindhoven University of Technology in 2006. Between 2006 and 2013, he worked at the Information Security group at ETH Zurich, Switzerland, until joining the University of Oxford in 2013.
His research focuses on information security, in particular the formal analysis of security protocols. This work ranges from developing mathematical foundations for protocol analysis to the development of analysis tools, notably the Scyther tool. Recently his research expanded into directions such as protocol standardisation, including the improvement of the ISO/IEC 9798 standard, and applied cryptography,leading to the development of new security requirements and protocols.