Concepedia

Catherine Meadows

CM

Statistics

Publications

52

Citations

3.1K

H-Index

27

Active since

1985

Affiliations

United States Naval Research Laboratory(Current)

Naval Research Laboratory Information Technology Division

Universitat Politècnica de València

University of Illinois Urbana-Champaign

Catherine Meadows is an author at United States Naval Research Laboratory specializing in computing, computer science, and formal methods.

Publications per year

1985–2024

52

Publications

52

The NRL Protocol Analyzer: An Overview

Catherine Meadows · The Journal of Logic Programming · 1996 · 454 citations

Computing, Computer Engineering, Computer Science +12

Three systems for cryptographic protocol analysis

Richard A. Kemmerer, Catherine Meadows, Jonathan K. Millen · Journal of Cryptology · 1994 · 235 citations

Computing, Computer Science, Systems Engineering +12

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

Catherine Meadows · 1986 · 200 citations

Computing, Computer Science, Cybersecurity +13

Formal methods for cryptographic protocol analysis: emerging issues and trends

Catherine Meadows · IEEE Journal on Selected Areas in Communications · 2003 · 200 citations

Computing, Computer Science, Cryptography +16

A formal framework and evaluation method for network denial of service

Catherine Meadows · 2003 · 168 citations

Computing, Computer Science, Cybersecurity +17

1–5 of 52