Faculty
2026: Levchin Prize for Real World Cryptography
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.
IEEE European Symposium on Security and Privacy (EuroS&P)
Network and Distributed System Security Symposium (NDSS)
ACM Conference on Computer and Communications Security (CCS) On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees
IEEE European Symposium on Security and Privacy (EuroS&P) A Formal Security Analysis of the Signal Messaging Protocol
European Symposium on Research in Computer Security (ESORICS) Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5
IEEE Symposium on Security and Privacy (S&P) Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication
IEEE Computer Security Foundations Symposium (CSF) On Post-compromise Security