Faculty
Prof. Dr. Cas Cremers is Faculty at CISPA since 2018.
He obtained his PhD in 2006 from Eindhoven University of Technology in the Netherlands. From 2006 to 2013 he was a postdoctoral researcher, and senior researcher and lecturer, at ETH Zurich in Switzerland. In 2013 he moved to the University of Oxford as an Associate Professor. In 2015 he became (full) Professor of Information security at the University of Oxford. He joined CISPA in 2018.
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