Education
Cremers received his Doctor of Philosophy from Eindhoven University of Technology in 2006.
- Photos
- Works
- Photos
- Works
Cas Cremers
Edit Profile
Career
Between 2006 and 2013, he worked at the Information Security Group at Eidgenössische Technische Hochschule Zurich, Switzerland, until joining the University of Oxford in 2013. He was made full professor of Information Security in 2015. 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 and Tamarin tools.
Recently his research expanded into directions such as protocol standardisation, including the improvement of the International Organization for Standardization/International Electrotechnical Commission 9798 standard, and applied cryptography, leading to the development of new security requirements and protocols. Cremers previously worked in MSX computer game development, initially working for the Sigma Group before founding his own group Parallax.
He is credited for work on nine different games, and many other demos, in a combination of roles including programmer, designer, composer, and writer
Membership
He is a member of the Department of Computer Science and the Cyber Security Centre as well as a Governing Body Fellow of Kellogg College.
