World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
40
Citations
7817
World Ranking
9217
National Ranking
3924

Overview

Catherine Meadows is affiliated with the United States Naval Research Laboratory in the United States. Their research primarily focuses on computer science, with a significant emphasis on subfields such as artificial intelligence, computer networks and communications, information systems, and signal processing.

The main topics covered in Meadows's body of work include:

  • Advanced Authentication Protocols Security
  • Cryptographic Implementations and Security
  • User Authentication and Security Systems
  • Cryptography and Data Security
  • Advanced Malware Detection Techniques
  • Coding theory and cryptography

Meadows has contributed to a number of research publications with notable appearances in venues such as arXiv (Cornell University) and Electronic Proceedings in Theoretical Computer Science. Recent papers include:

  • "CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms," 2022, Electronic Proceedings in Theoretical Computer Science
  • "Protocol Analysis with Time," 2020, arXiv (Cornell University)
  • "A Logic of Sattestation," 2024, arXiv (Cornell University)

Frequent coauthors collaborating on Meadows's research are:

  • Santiago Escobar
  • José Meseguer
  • Damián Aparicio-Sánchez
  • Julia Sapiña
  • Lin Hai

The scientist's work has appeared predominantly in open-access repositories and theoretical computer science proceedings, indicating an engagement with foundational and applied aspects of cryptographic systems and security protocols. Their publications span over two decades with multiple contributions in the field of computer science, especially in security-related domains.

Best Publications

  • The NRL Protocol Analyzer: An Overview☆

    Catherine A. Meadows

  • Security of ramp schemes

    G R Blakley;Catherine Meadows

  • Formal Verification of Cryptographic Protocols: A Survey

    Catherine Meadows

  • Three systems for cryptographic protocol analysis

    R. Kemmerer;C. Meadows;J. Millen

  • Formal methods for cryptographic protocol analysis: emerging issues and trends

    C. Meadows

  • Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties

    Santiago Escobar;Catherine Meadows;José Meseguer

  • A formal framework and evaluation method for network denial of service

    C. Meadows

  • Applying Formal Methods to the Analysis of a Key Management Protocol

    Catherine Meadows

  • A More Efficient Cryptographic Matchmaking Protocol for Use in the Absence of a Continuously Available Third Party

    Catherine Meadows

  • Analysis of the Internet Key Exchange protocol using the NRL Protocol Analyzer

    C. Meadows

  • Preventing wormhole attacks on wireless ad hoc networks: a graph theoretic approach

    L. Lazos;R. Poovendran;C. Meadows;P. Syverson

  • A cost-based framework for analysis of denial of service in networks

    Catherine Meadows

  • Security and Privacy in Ad-Hoc and Sensor Networks

    Frank Stajano;Catherine Meadows;Srdjan Capkun;Tyler Moore

  • Open issues in formal methods for cryptographic protocol analysis

    C. Meadows

  • Analyzing the Needham-Schroeder Public-Key Protocol: A Comparison of Two Approaches

    Catherine Meadows

  • Fingerprinting long forgiving messages

    G. R. Blakley;Catherine Meadows;George B. Purdy

  • A rewriting-based inference system for the NRL Protocol analyzer and its meta-logical properties

    Santiago Escobar;Catherine Meadows;José Meseguer

  • Model Checking Security Protocols

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

  • A System for the Specification and Verification of Key Management Protocols.

    Catherine A. Meadows

  • Distance Bounding Protocols: Authentication Logic Analysis and Collusion Attacks

    Catherine A. Meadows;Radha Poovendran;Dusko Pavlovic;LiWu Chang

Frequent Co-Authors

José Meseguer
José Meseguer University of Illinois at Urbana-Champaign
Paul Syverson
Paul Syverson United States Naval Research Laboratory
Christopher S. Lynch
Christopher S. Lynch University of California, Riverside
Deepak Kapur
Deepak Kapur University of New Mexico
Sushil Jajodia
Sushil Jajodia George Mason University
Ran Canetti
Ran Canetti Boston University
Roberto Segala
Roberto Segala University of Verona
Tyler Moore
Tyler Moore University of Tulsa
Srdjan Capkun
Srdjan Capkun ETH Zurich
Radha Poovendran
Radha Poovendran University of Washington

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

Choosing the right computer science program opens doors to numerous career options in tech and beyond. If you are looking for flexibility, online degrees provide convenient ways to earn credentials while balancing other responsibilities.

For those seeking a quick start, consider exploring accelerated associates degree online programs. These allow you to complete foundational studies in as little as six months, making it possible to join the workforce or continue toward a bachelor's degree sooner.

If cost is your top priority, look into the cheapest online business management degree and least expensive online bachelor's degree programs. These options ensure you receive a quality education while minimizing debt, enabling you to freely pursue your career goals upon graduation.

Tech-minded students should also consider an online engineer degree to open pathways in software development, project management, and engineering roles. By researching these online alternatives, you can find a path that fits both your ambitions and your budget.

Best Scientists Citing Catherine Meadows

Trending Scientists