Catherine Meadows

Cited by

	All	Since 2016
Citations	7090	1155
h-index	41	16
i10-index	84	21

420

210

105

315

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202118 22 31 59 61 38 102 109 136 193 223 230 271 369 349 402 413 407 362 329 303 307 357 213 247 265 220 242 211 254 203 25

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 itd.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
Sushil JajodiaUniversity Professor, BDM International Professor, and Director, Center for Secure InformationVerified email at gmu.edu
Christopher LynchClarkson UniversityVerified email at clarkson.edu
Ralf SasseSenior Scientist in Computer Science, ETH ZurichVerified email at inf.ethz.ch
Deepak KapurUniversity of New MexicoVerified email at cs.unm.edu
John McLeanSuperintendent of Information Technology Division, Naval Research LabVerified email at nrl.navy.mil
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 CremersProfessor of Computer Science, CISPA Helmholtz Center for Information Security, Saarland UniversityVerified email at cispa.de
John T. SampleHead, Center for Geospatial Sciences, 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	722	1996
Security of ramp schemes GR Blakley, C Meadows Advances in Cryptology, 242-268, 1985	484	1985
Formal verification of cryptographic protocols: A survey CA Meadows International Conference on the Theory and Application of Cryptology, 133-150, 1994	348	1994
Three systems for cryptographic protocol analysis R Kemmerer, C Meadows, J Millen Journal of CRYPTOLOGY 7 (2), 79-130, 1994	333	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	316	2003
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	262	1999
Applying formal methods to the analysis of a key management protocol C Meadows Journal of Computer Security 1 (1), 5-35, 1992	247	1992
Maude-NPA: Cryptographic protocol analysis modulo equational properties S Escobar, C Meadows, J Meseguer Foundations of Security Analysis and Design V, 1-50, 2009	223	2009
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	214	2005
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	213	1999
A cost-based framework for analysis of denial of service in networks C Meadows Journal of Computer Security 9 (1-2), 143-164, 2001	185	2001
Open issues in formal methods for cryptographic protocol analysis C Meadows Proceedings DARPA Information Survivability Conference and Exposition …, 2000	175	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	165	1996
Fingerprinting long forgiving messages GR Blakley, C Meadows, GB Purdy Advances in Cryptology—CRYPTO’85 Proceedings, 180-189, 1986	141	1986
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
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	115	2006
Distance bounding protocols: Authentication logic analysis and collusion attacks C Meadows, R Poovendran, D Pavlovic, LW Chang, P Syverson Secure localization and time synchronization for wireless sensor and ad hoc …, 2007	108	2007
Inference problems in multilevel secure database management systems S Jajodia, C Meadows Information Security: An integrated collection of essays 1, 570-584, 1995	103	1995
A model of computation for the NRL protocol analyzer C Meadows Proceedings The Computer Security Foundations Workshop VII, 84-89, 1994	101	1994
A logical language for specifying cryptographic protocol requirements P Syverson, C Meadows Proceedings 1993 IEEE Computer Society Symposium on Research in Security and …, 1993	95	1993

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

Upload PDF

Follow this author

Cited by

Co-authors