Cas Cremers

Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties

Benedikt Schmidt, Simon Meier-Vieracker, Cas Cremers et al. · 2012 · 215 citations

Computing, Computer Science, Cryptography +16

A Formal Security Analysis of the Signal Messaging Protocol

Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling et al. · 2017 · 207 citations

Computing, Computer Engineering, Computer Science +14

A Comprehensive Symbolic Analysis of TLS 1.3

Cas Cremers, Marko Horvat, Jonathan Hoyland et al. · 2017 · 183 citations

Computing, Computer Science, Information Technology +16

Distance Hijacking Attacks on Distance Bounding Protocols

Cas Cremers, Kasper Rasmussen, Benedikt Schmidt et al. · 2012 · 163 citations

Computing, Computer Science, Cybersecurity +12

Decentralized Privacy-Preserving Proximity Tracing

Carmela Troncoso, Jean‐Pierre Hubaux, Marcel Salathé et al. · arXiv (Cornell University) · 2020 · 157 citations · Full text

Computing, Computer Science, Cybersecurity +15