Catherine Meadows

Cited by

	All	Since 2019
Citations	8042	1237
h-index	43	15
i10-index	91	26

440

220

110

330

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420 30 32 58 64 47 101 118 141 190 225 225 268 388 367 417 420 431 377 312 300 322 385 233 250 256 233 234 219 279 204 187 245 199 123

Public access

View all

12 articles

6 articles

available

not available

Based on funding mandates

Co-authors

Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Santiago EscobarVRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de ValènciaVerified email at upv.es
Paul SyversonMathematician, U.S. Naval Research LaboratoryVerified email at nrl.navy.mil
dusko pavlovicProfessor at University of HawaiiVerified email at hawaii.edu
Sonia SantiagoPhD. Student - Universidad Politecnica de ValenciaVerified email at dsic.upv.es
Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cmu.edu
Christopher LynchClarkson UniversityVerified email at clarkson.edu
Sushil JajodiaUniversity Professor, BDM International Professor, and Director, Center for Secure InformationVerified email at gmu.edu
Ralf SasseSenior Scientist in Computer Science, ETH ZurichVerified email at inf.ethz.ch
Deepak KapurUniversity of New MexicoVerified email at cs.unm.edu
David BasinProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Antonio González-BurgueñoPh.D fellow, University of OsloVerified email at ifi.uio.no
Cas CremersCISPA Helmholtz Center for Information SecurityVerified email at cispa.de
John McLeanSuperintendent of Information Technology Division, Naval Research LabVerified email at nrl.navy.mil
John T. SampleSuperintendent, Ocean Sciences Division, Naval Research LaboratoryVerified email at nrlssc.navy.mil
Ran CanettiProfessor of Computer Science, Boston UniversityVerified email at bu.edu
Carl E. LandwehrUniversity of Michigan, George Washington University and Independent ConsultantVerified email at gwu.edu
Hubert Comon-LundhComputer Science professor, ENS CachanVerified email at lsv.ens-cachan.fr
Joshua GuttmanResearch Professor, Computer Science, Worcester Polytechnic InstituteVerified email at wpi.edu
Carolyn TalcottSRI International

Catherine Meadows

Head, Formal Methods Section, Naval Research Laboratory

Verified email at nrl.navy.mil

formal methods cryptographic protocols security procedures


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The NRL protocol analyzer: An overview C Meadows The Journal of Logic Programming 26 (2), 113-131, 1996	759	1996
Security of ramp schemes GR Blakley, C Meadows Advances in Cryptology, 242-268, 1985	580	1985
Formal verification of cryptographic protocols: A survey CA Meadows International Conference on the Theory and Application of Cryptology, 133-150, 1994	382	1994
Three systems for cryptographic protocol analysis R Kemmerer, C Meadows, J Millen Journal of CRYPTOLOGY 7 (2), 79-130, 1994	353	1994
Formal methods for cryptographic protocol analysis: Emerging issues and trends C Meadows IEEE journal on selected areas in communications 21 (1), 44-54, 2003	333	2003
Maude-NPA: Cryptographic protocol analysis modulo equational properties S Escobar, C Meadows, J Meseguer Foundations of Security Analysis and Design V, 1-50, 2009	299	2009
A formal framework and evaluation method for network denial of service C Meadows Proceedings of the 12th IEEE computer security foundations workshop, 4-13, 1999	273	1999
Applying formal methods to the analysis of a key management protocol C Meadows Journal of Computer Security 1 (1), 5-35, 1992	270	1992
Applying formal methods to the analysis of a key management protocol CA Meadows NAVAL RESEARCH LAB WASHINGTON DC, 1990	270	1990
A more efficient cryptographic matchmaking protocol for use in the absence of a continuously available third party C Meadows IEEE Symposium on Security and Privacy, 134-137, 1986	253	1986
Analysis of the Internet Key Exchange protocol using the NRL protocol analyzer C Meadows Proceedings of the 1999 IEEE Symposium on Security and Privacy (Cat. No …, 1999	233	1999
Preventing wormhole attacks on wireless ad hoc networks: a graph theoretic approach L Lazos, R Poovendran, C Meadows, P Syverson, LW Chang IEEE Wireless Communications and Networking Conference, 2005 2, 1193-1199, 2005	222	2005
A cost-based framework for analysis of denial of service in networks C Meadows Journal of Computer Security 9 (1-2), 143-164, 2001	195	2001
Open issues in formal methods for cryptographic protocol analysis C Meadows Proceedings DARPA Information Survivability Conference and Exposition …, 2000	181	2000
Analyzing the Needham-Schroeder public key protocol: A comparison of two approaches CA Meadows European Symposium on Research in Computer Security, 351-364, 1996	177	1996
Fingerprinting long forgiving messages GR Blakley, C Meadows, GB Purdy Advances in Cryptology—CRYPTO’85 Proceedings, 180-189, 1986	160	1986
A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties S Escobar, C Meadows, J Meseguer Theoretical Computer Science 367 (1-2), 162-202, 2006	149	2006
Model checking security protocols D Basin, C Cremers, C Meadows Handbook of Model Checking, 727-762, 2018	140	2018
Model Checking Security Protocols D Basin, C Cremers, C Meadows Handbook of Model Checking, 727-762, 2018	140	2018
A system for the specification and verification of key management protocols C Meadows Proceedings. 1991 IEEE Computer Society Symposium on Research in Security …, 1991	116	1991

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors