Faculty
Prof. Dr. Cas Cremers ist Faculty am CISPA.
Er promovierte im Jahr 2006 an der Technischen Universität Eindhoven in den Niederlanden. Von 2006 bis 2013 war er als Postdoktorand sowie als Senior Researcher und Dozent an der ETH Zürich in der Schweiz tätig. Im Jahr 2013 wechselte er als Associate Professor an die University of Oxford. Im Jahr 2015 wurde er zum Professor für Informationssicherheit an der Universität Oxford ernannt. 2018 wechselte er ans CISPA.
Usenix Security Symposium (USENIX-Security)
International Conference on the Theory and Application of Cryptographic Techniques (EuroCrypt)
ETK: External-Operations TreeKEM and the Security of MLS in RFC 9420
ACM Conference on Computer and Communications Security (CCS)
Looping for Good: Cyclic Proofs for Security Protocols
Modeling and Analyzing Security Protocols with Tamarin, A Comprehensive Guide
IEEE Symposium on Security and Privacy (S&P)
Impossibility Results for Post-Compromise Security in Real-World Communication Systems
IEEE Symposium on Security and Privacy (S&P)
ACM Conference on Computer and Communications Security (CCS)
IACR Cryptol. ePrint Arch. ETK: External-Operations TreeKEM and the Security of MLS in RFC 9420.
Falsifiability, Composability, and Comparability of Game-Based Security Models for Key Exchange Protocols
ACM Conference on Computer and Communications Security (CCS)
Keeping Up with the KEMs: Stronger Security Notions for KEMs and Automated Analysis of KEM-based Protocols