Catherine Meadows
Scholar

Catherine Meadows

Google Scholar ID: vbYdaGoAAAAJ
Head, Formal Methods Section, Naval Research Laboratory
formal methodscryptographic protocolssecurity procedures
Google Scholar↗
Citations & Impact
All-time
Citations
8,293
 
H-index
44
 
i10-index
93
 
Publications
20
 
Co-authors
21
list available
Publications
2 items
A Theory of Composable Lingos for Protocol Dialects
2026
Cited
0
Protocol Dialects as Formal Patterns: A Composable Theory of Lingos -- Technical report
2025
Cited
0
Co-authors
9 total
Jose Meseguer
Jose Meseguer
Professor of Computer Science, University of Illinois at Urbana-Champaign
Santiago Escobar
Santiago Escobar
VRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de València
dusko pavlovic
dusko pavlovic
Professor at University of Hawaii
Ralf Sasse
Ralf Sasse
Senior Scientist in Computer Science, ETH Zurich
Deepak Kapur
Deepak Kapur
University of New Mexico
David Basin
David Basin
Professor of Computer Science, ETH Zurich; Affiliated Faculty, INSAIT, Sofia University
Cas Cremers
Cas Cremers
CISPA Helmholtz Center for Information Security
Ran Canetti
Ran Canetti
Professor of Computer Science, Boston University