Concepedia

Catherine Meadows

CM

Statistics

Publications

50

Citations

3K

H-Index

26

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 engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationData SecurityFormal MethodsCryptographyInformation SecurityVerificationHardware SecuritySoftware Analysis

Publications per year

1985–2023

50

Publications

50

The NRL Protocol Analyzer: An Overview

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

Engineering, Verification, Protocol Analysis +7

Three systems for cryptographic protocol analysis

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

Cryptographic Primitive, Engineering, Information Security +8

Formal methods for cryptographic protocol analysis: emerging issues and trends

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

Hardware Security, Cryptographic Primitive, Engineering +15

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

Catherine Meadows · 1986 · 192 citations

Authentication Authorization, Cryptographic Primitive, Engineering +21

A formal framework and evaluation method for network denial of service

Catherine Meadows · 2003 · 167 citations

Engineering, Information Security, Verification +20

1–5 of 50