Cremers, Cas

SoK: Computer-Aided Cryptography

Barbosa, M., Barthe, G., Bhargavan, K., Blanchet, B., Cremers, C., Liao, K., & Parno, B. (2021) · 2021 IEEE Symposium on Security and Privacy (SP)

Cryptographic Implementations and SecurityCryptography and Data Security

Cited by 143

Injective synchronisation: An extension of the authentication hierarchy

Cremers, C. J. F., Mauw, S., & de Vink, E. P. (2006) · Theoretical Computer Science

Advanced Authentication Protocols SecurityFormal Methods in Verification

Cited by 61

FIDO2, CTAP 2.1, and WebAuthn 2: Provable Security and Post-Quantum Instantiation

Bindel, N., Cremers, C., & Zhao, M. (2023) · 2023 IEEE Symposium on Security and Privacy (SP)

Advanced Authentication Protocols SecurityUser Authentication and Security Systems

Cited by 30

Secure authentication in the grid: A formal analysis of DNP3 SAv5

Cremers, C., Dehnel-Wild, M., & Milner, K. (2019) · Journal of Computer Security

Smart Grid Security and ResilienceAdvanced Authentication Protocols Security

Cited by 27

A Formal Analysis of IEEE 802.11's WPA2: Countering the Kracks Caused by Cracking the Counters

Cremers, C., Kiesl, B., & Medinger, N. (2020) · CISPA

Advanced Authentication Protocols SecurityWireless Networks and Protocols

Cited by 20