World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
40
Citations
7242
World Ranking
9265
National Ranking
574

Overview

Cas Cremers is affiliated with the University of Oxford in the United Kingdom, focusing on research within the field of Computer Science. Their work encompasses several subfields, including Information Systems, Computer Networks and Communications, Artificial Intelligence, Sociology and Political Science, and Electrical and Electronic Engineering.

The main topics of their research include:

  • Advanced Authentication Protocols Security
  • User Authentication and Security Systems
  • Cryptographic Implementations and Security
  • Cryptography and Data Security
  • Cloud Data Security Solutions
  • IPv6, Mobility, Handover, Networks, Security
  • Digital Rights Management and Security

Cremers has contributed to various publications, with frequent outputs in venues such as:

  • IACR Cryptology ePrint Archive
  • HAL (Le Centre pour la Communication Scientifique Directe)
  • OPAL (Open@LaTrobe) (La Trobe University)
  • arXiv (Cornell University)
  • IEEE Security & Privacy

Their recent papers include:

  • "Decentralized Privacy-Preserving Proximity Tracing" (2020), published in arXiv (Cornell University)
  • "Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols" (2022), IEEE Security & Privacy
  • "Deploying decentralized, privacy-preserving proximity tracing" (2022), Communications of the ACM
  • "A Formal Analysis of IEEE 802.11's WPA2: Countering the Kracks Caused by Cracking the Counters" (2023), OPAL (Open@LaTrobe) (La Trobe University)
  • "SoK: Computer-Aided Cryptography" (2023), IACR Cryptology ePrint Archive

Frequent coauthors collaborating with Cas Cremers include:

  • David Basin
  • Ralf Sasse
  • Jannik Dreier
  • Dennis Jackson
  • Charlie Jacomme

Cas Cremers has also contributed to scholarly work in book form with a forthcoming publication titled Modeling and Analyzing Security Protocols with Tamarin, set to be published by Springer Nature in 2025.

Best Publications

  • The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols

    Cas J. Cremers

  • The TAMARIN prover for the symbolic analysis of security protocols

    Simon Meier;Benedikt Schmidt;Cas Cremers;David Basin

  • A Formal Security Analysis of the Signal Messaging Protocol

    Katriel Cohn-Gordon;Cas Cremers;Benjamin Dowling;Luke Garratt

  • Scyther : semantics and verification of security protocols

    Cjf Cas Cremers

  • Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties

    B. Schmidt;S. Meier;C. Cremers;D. Basin

  • A Comprehensive Symbolic Analysis of TLS 1.3

    Cas Cremers;Marko Horvat;Jonathan Hoyland;Sam Scott

  • Decentralized Privacy-Preserving Proximity Tracing

    Carmela Troncoso;Mathias Payer;Jean-Pierre Hubaux;Marcel Salathé

  • Distance Hijacking Attacks on Distance Bounding Protocols

    C. Cremers;K. B. Rasmussen;B. Schmidt;S. Capkun

  • On Post-Compromise Security.

    Katriel Cohn-Gordon;Cas Cremers;Luke Garratt

  • ARPKI: Attack Resilient Public-Key Infrastructure

    David Basin;Cas Cremers;Tiffany Hyun-Jin Kim;Adrian Perrig

  • Decentralized Privacy-Preserving Proximity Tracing

    Carmela Troncoso;Mathias Payer;Jean-Pierre Hubaux;Marcel Salathé

  • On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees

    Katriel Cohn-Gordon;Cas Cremers;Luke Garratt;Jon Millican

  • Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication

    Cas Cremers;Marko Horvat;Sam Scott;Thyla van der Merwe

  • Operational Semantics and Verification of Security Protocols

    Cas Cremers;Sjouke Mauw

  • Model Checking Security Protocols

    David A. Basin;Cas Cremers;Catherine A. Meadows

  • Provably repairing the ISO/IEC 9798 standard for entity authentication

    David Basin;Cas Cremers;Simon Meier

  • SoK: Computer-Aided Cryptography

    Manuel Barbosa;Gilles Barthe;Karthik Bhargavan;Bruno Blanchet

  • Beyond eCK: perfect forward secrecy under actor compromise and ephemeral-key reveal

    Cas Cremers;Michèle Feltz

  • Comparing State Spaces in Automatic Security Protocol Analysis

    Cas J. Cremers;Pascal Lafourcade;Philippe Nadeau

  • Key exchange in IPsec revisited: formal analysis of IKEv1 and IKEv2

    Cas Cremers

Frequent Co-Authors

David Basin
David Basin ETH Zurich
Sjouke Mauw
Sjouke Mauw University of Luxembourg
Srdjan Capkun
Srdjan Capkun ETH Zurich
Mark Ryan
Mark Ryan University of Birmingham
Marc Fischlin
Marc Fischlin Technical University of Darmstadt
Rui Oliveira
Rui Oliveira University of Minho
Alain Barrat
Alain Barrat Centre de Physique Théorique
Michael Backes
Michael Backes University of Oxford
Jan Beutel
Jan Beutel ETH Zurich

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

If you’re considering studying Computer Science in the USA, there are several related online degrees and career pathways to explore. Pursuing a cheapest online physics degree is a great option for those interested in the scientific and mathematical foundations that support computer science concepts.

For individuals focused more on data and analytics, enrolling in a cheapest data science degree program can open doors to high-growth sectors such as artificial intelligence, business intelligence, and machine learning.

If hardware and systems interest you, an online electrical engineering degree ranking can help you discover top accredited programs that integrate well with computer science.

For those seeking faster entry into the tech workforce, consider 3-month certificate programs that pay well. These can lead to rewarding jobs in IT, cybersecurity, or data management with less time and financial investment.

Exploring these online options ensures flexibility, affordability, and a pathway toward a successful tech career.

Best Scientists Citing Cas Cremers

Trending Scientists

Recently Published Articles