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)
ACM Conference on Computer and Communications Security (CCS)
Looping for Good: Cyclic Proofs for Security Protocols
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.
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
IEEE Symposium on Security and Privacy (S&P)
TokenWeaver: Privacy Preserving and Post-Compromise Secure Attestation
IEEE Symposium on Security and Privacy (S&P)
Secure Messaging with Strong Compromise Resilience, Temporal Privacy, and Immediate Decryption