Catherine Meadows

140 papers A* 6A 9B 12C 11Misc 2Journal 32Unranked 55
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Theory of Composable Lingos for Protocol Dialects.
CoRR
Víctor García, Santaigo Escobar, Catherine Meadows, José Meseguer
2025 J jnl
Protocol Dialects as Formal Patterns: A Composable Theory of Lingos - Technical report.
CoRR
Víctor García, Santiago Escobar, Catherine Meadows, José Meseguer
2024 A conf
A Logic of Sattestation.
CSF
Aaron D. Jaggard, Paul Syverson, Catherine Meadows
2024 J jnl
A Logic of Sattestation.
CoRR
Aaron D. Jaggard, Paul Syverson, Catherine Meadows
2023 — conf
Strand Spaces with Choice via a Process Algebra Semantics.
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
2022 — conf
Predicting Asymptotic Behavior of Network Covert Channels: Experimental Results.
CODASPY
Catherine Meadows
2021 — conf
Moving the Bar on Computationally Sound Exclusive-Or.
ESORICS (2)
Catherine Meadows
2021 — conf
Protocol Analysis with Time and Space.
Protocols, Strands, and Logic
Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña
2020 — conf
Algorithmic Problems in Synthesized Cryptosystems (Extended Abstract).
UNIF
Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek
2020 — conf
NExtSteP: An Extensible Testbed for Network Covert Channels.
CNS
Olga Chen, Aaron D. Jaggard, Catherine Meadows, Michael C. Shlanta
2020 Misc conf
Protocol Analysis with Time.
INDOCRYPT
Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña
2020 J jnl
Protocol Analysis with Time.
CoRR
Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña
2020 J jnl
Symbolic and Computational Reasoning About Cryptographic Modes of Operation.
IACR Cryptol. ePrint Arch.
Catherine Meadows
2019 — conf
On Asymmetric Unification for the Theory of XOR with a Homomorphism.
FroCos
Christopher Lynch, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar
2019 J jnl
On Asymmetric Unification for the Theory of XOR with a Homomorphism.
CoRR
Christopher Lynch, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar
2019 J jnl
Strand Spaces with Choice via a Process Algebra Semantics.
CoRR
Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer
2018 B conf
Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA.
LPAR
Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer
2018 J jnl
Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA.
CoRR
Antonio González-Burgueño, Damián Aparicio, Santiago Escobar, Catherine Meadows, José Meseguer
2018 — ch.
Model Checking Security Protocols.
Handbook of Model Checking
David A. Basin, Cas Cremers, Catherine Meadows
2018 — conf
Modular Verification of Sequential Composition for Private Channels in Maude-NPA.
STM
Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer
2017 — conf
Stealthy Protocols: Metrics and Open Problems.
Concurrency, Security, and Puzzles
Olga Chen, Catherine Meadows, Gautam Trivedi
2017 J jnl
Symbolic Security Criteria for Blockwise Adaptive Secure Modes of Encryption.
IACR Cryptol. ePrint Arch.
Catherine Meadows
2016 — ed.
Computer Security - ESORICS 2016 - 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part I
ESORICS (1)
Ioannis G. Askoxylakis, Sotiris Ioannidis, Sokratis K. Katsikas, Catherine Meadows
2016 — ed.
Computer Security - ESORICS 2016 - 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part II
ESORICS (2)
Ioannis G. Askoxylakis, Sotiris Ioannidis, Sokratis K. Katsikas, Catherine Meadows
2016 J jnl
Effective Sequential Protocol Composition in Maude-NPA.
CoRR
Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer
2016 C conf
Strand spaces with choice via a process algebra semantics.
PPDP
Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
2015 — conf
Analysis of the PKCS#11 API Using the Maude-NPA Tool.
SSR
Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer
2015 — conf
Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later.
Logic, Rewriting, and Concurrency
Catherine Meadows
2015 J jnl
On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry.
Log. Methods Comput. Sci.
Andrew M. Marshall, Catherine Meadows, Paliath Narendran
2015 — conf
Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories.
Programming Languages with Applications to Biology and Security
Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
2014 — conf
A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA.
STM
Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer
2014 — conf
A rewriting-based forwards semantics for Maude-NPA.
HotSoS
Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
2014 — conf
Analysis of the IBM CCA Security API Protocols in Maude-NPA.
SSR
Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer
2014 — conf
On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract).
UNIF
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen
2014 B conf
On Asymmetric Unification and the Combination Problem in Disjoint Theories.
FoSSaCS
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen
2014 J jnl
State space reduction in the Maude-NRL Protocol Analyzer.
Inf. Comput.
Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
2014 C conf
Theories of Homomorphic Encryption, Unification, and the Finite Variant Property.
PPDP
Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Paliath Narendran
2013 A conf
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis.
CADE
Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse
2012 Misc conf
Actor-Network Procedures - (Extended Abstract).
ICDCIT
Dusko Pavlovic, Catherine Meadows
2012 B conf
Dedication.
MFPS
Stephen D. Brookes, Achim Jung, Catherine Meadows, Michael W. Mislove, Prakash Panangaden
2012 A conf
Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions.
ESORICS
Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse
2012 — conf
Formalizing Physical Security Procedures.
STM
Catherine Meadows, Dusko Pavlovic
2012 — ed.
Security and Trust Management - 7th International Workshop, STM 2011, Copenhagen, Denmark, June 27-28, 2011, Revised Selected Papers
STM
Catherine Meadows, M. Carmen Fernández Gago
2012 J jnl
Special Issue on Security and Rewriting Foreword.
J. Autom. Reason.
Hubert Comon-Lundh, Catherine Meadows
2011 J jnl
Actor-network procedures: Modeling multi-factor authentication, device pairing, social interactions
CoRR
Dusko Pavlovic, Catherine Meadows
2011 — ch.
Applications of Formal Methods to Intrusion Detection.
Encyclopedia of Cryptography and Security (2nd Ed.)
Catherine Meadows
2011 — conf
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis.
UNIF
Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse
2011 — ch.
Formal Analysis of Cryptographic Protocols.
Encyclopedia of Cryptography and Security (2nd Ed.)
Catherine Meadows
2011 — ch.
Formal Methods in Certification and Evaluation.
Encyclopedia of Cryptography and Security (2nd Ed.)
Catherine Meadows
2011 — ch.
Program Verification and Security.
Encyclopedia of Cryptography and Security (2nd Ed.)
Catherine Meadows
2011 C conf
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption.
PPDP
Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse
2011 J jnl
Security and Rewriting (Dagstuhl Seminar 11332).
Dagstuhl Reports
Hubert Comon-Lundh, Ralf Küsters, Catherine Meadows
2011 J jnl
State Space Reduction in the Maude-NRL Protocol Analyzer
CoRR
Santiago Escobar, Catherine Meadows, José Meseguer
2011 — ch.
Theorem Proving and Security.
Encyclopedia of Cryptography and Security (2nd Ed.)
Catherine Meadows
2011 — ch.
Type Checking and Security.
Encyclopedia of Cryptography and Security (2nd Ed.)
Catherine Meadows
2010 B conf
Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol.
MFPS
Dusko Pavlovic, Catherine Meadows
2010 — conf
Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA.
STM
Ralf Sasse, Santiago Escobar, Catherine Meadows, José Meseguer
2010 — conf
Reasoning about Probabilistic Security Using Task-PIOAs.
ARSPA-WITS
Aaron D. Jaggard, Catherine Meadows, Michael W. Mislove, Roberto Segala
2010 A conf
Sequential Protocol Composition in Maude-NPA.
ESORICS
Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
2009 — conf
A Graphical User Interface for Maude-NPA.
PROLE
Sonia Santiago, Carolyn L. Talcott, Santiago Escobar, Catherine Meadows, José Meseguer
2009 — conf
Deriving Ephemeral Authentication Using Channel Axioms.
Security Protocols Workshop
Catherine Meadows
2009 — conf
Deriving Ephemeral Authentication Using Channel Axioms.
Security Protocols Workshop
Dusko Pavlovic, Catherine Meadows
2009 J jnl
Introduction to ACM TISSEC special issue on CCS 2005.
ACM Trans. Inf. Syst. Secur.
Catherine Meadows
2009 J jnl
Quantifying pervasive authentication: the case of the Hancke-Kuhn protocol.
CoRR
Dusko Pavlovic, Catherine Meadows
2008 A conf
State Space Reduction in the Maude-NRL Protocol Analyzer.
ESORICS
Santiago Escobar, Catherine Meadows, José Meseguer
2007 — ch.
Distance Bounding Protocols: Authentication Logic Analysis and Collusion Attacks.
Secure Localization and Time Synchronization for Wireless Sensor and Ad Hoc Networks
Catherine Meadows, Radha Poovendran, Dusko Pavlovic, Liwu Chang, Paul F. Syverson
2007 — conf
Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties.
FOSAD
Santiago Escobar, Catherine Meadows, José Meseguer
2007 J jnl
One Picture Is Worth a Dozen Connectives: A Fault-Tree Representation of NPATRL Security Requirements.
IEEE Trans. Dependable Secur. Comput.
Iliano Cervesato, Catherine Meadows
2007 — ed.
Security and Privacy in Ad-hoc and Sensor Networks, 4th European Workshop, ESAS 2007, Cambridge, UK, July 2-3, 2007, Proceedings
ESAS
Frank Stajano, Catherine Meadows, Srdjan Capkun, Tyler Moore
2006 J jnl
A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties.
Theor. Comput. Sci.
Santiago Escobar, Catherine Meadows, José Meseguer
2006 A conf
Deriving Secrecy in Key Establishment Protocols.
ESORICS
Dusko Pavlovic, Catherine Meadows
2006 — conf
Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer.
SecReT@ICALP
Santiago Escobar, Catherine Meadows, José Meseguer
2006 C conf
Towards More Efficient Distance Bounding Protocols for Use in Sensor Networks.
SecureComm
Catherine Meadows, Paul F. Syverson, Liwu Chang
2005 — conf
A rewriting-based inference system for the NRL protocol analyzer: grammar generation.
FMSE
Santiago Escobar, Catherine Meadows, José Meseguer
2005 — conf
An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols.
CSFW
Iliano Cervesato, Catherine Meadows, Dusko Pavlovic
2005 B conf
Preventing wormhole attacks on wireless ad hoc networks: a graph theoretic approach.
WCNC
Loukas Lazos, Radha Poovendran, Catherine Meadows, Paul F. Syverson, Liwu Chang
2005 A* ed.
Proceedings of the 12th ACM Conference on Computer and Communications Security, CCS 2005, Alexandria, VA, USA, November 7-11, 2005
CCS
Vijay Atluri, Catherine Meadows, Ari Juels
2005 — ed.
Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, WITS 2005, Long Beach, California, USA, January 10-11, 2005
WITS
Catherine Meadows
2004 A conf
Deriving, Attacking and Defending the GDOI Protocol.
ESORICS
Catherine Meadows, Dusko Pavlovic
2004 J jnl
Formal specification and analysis of the Group Domain Of Interpretation Protocol using NPATRL and the NRL Protocol Analyzer.
J. Comput. Secur.
Catherine Meadows, Paul F. Syverson, Iliano Cervesato
2004 — conf
On the Relative Soundness of the Free Algebra Model for Public Key Encryption.
ARSPA@IJCAR
Christopher Lynch, Catherine Meadows
2004 J jnl
Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols.
Sci. Comput. Program.
Catherine Meadows
2004 C conf
Sound Approximations to Diffie-Hellman Using Rewrite Rules.
ICICS
Christopher Lynch, Catherine Meadows
2003 — conf
A Procedure for Verifying Security Against Type Confusion Attacks.
CSFW
Catherine Meadows
2003 J jnl
Formal methods for cryptographic protocol analysis: emerging issues and trends.
IEEE J. Sel. Areas Commun.
Catherine Meadows
2003 — conf
Relating cryptography and formal methods: a panel.
FMSE
Michael Backes, Catherine Meadows, John C. Mitchell
2003 A conf
What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis.
ESOP
Catherine Meadows
2002 — conf
Environmental Requirements for Authentication Protocols.
ISSS
Ran Canetti, Catherine Meadows, Paul F. Syverson
2002 C conf
Using a Declarative Language to Build an Experimental Analysis Tool.
PADL
Catherine Meadows
2001 J jnl
A Cost-Based Framework for Analysis of Denial of Service Networks.
J. Comput. Secur.
Catherine Meadows
2001 — conf
Experiences in the Formal Analysis of the Group Domain of Interpretation Protocol (GDOI).
VIS
Catherine Meadows
2001 A* conf
Formalizing GDOI group key management requirements in NPATRL.
CCS
Catherine Meadows, Paul F. Syverson
2001 — conf
Open Issues in Formal Methods for Cryptographic Protocol Analysis.
MMM-ACNS
Catherine Meadows
2000 — conf
Invariant Generation Techniques in Cryptographic Protocol Analysis.
CSFW
Catherine Meadows
2000 A* conf
Invited Address: Applying Formal Methods to Cryptographic Protocol Analysis.
CAV
Catherine Meadows
1999 — conf
A Formal Framework and Evaluation Method for Network Denial of Service.
CSFW
Catherine Meadows
1999 — conf
Analysis of the Internet Key Exchange Protocol using the NRL Protocol Analyzer.
S&P
Catherine Meadows
1999 J jnl
Guest Editorial: Introduction to the Special Section - Dependable Computing for Critical Applications (DCCA-6).
IEEE Trans. Software Eng.
Catherine Meadows, William H. Sanders
1999 B conf
The MFPS XV Security Session.
MFPS
Catherine Meadows, Dennis M. Volpano
1998 — conf
A Formal Specification of Requirements for Payment Transactions in the SET Protocol.
Financial Cryptography
Catherine Meadows, Paul F. Syverson
1998 A ed.
Computer Security - ESORICS 98, 5th European Symposium on Research in Computer Security, Louvain-la-Neuve, Belgium, September 16-18, 1998, Proceedings
ESORICS
Jean-Jacques Quisquater, Yves Deswarte, Catherine Meadows, Dieter Gollmann
1998 — conf
Panel Introduction: Varieties of Authentication.
CSFW
Roberto Gorrieri, Paul F. Syverson, Martín Abadi, Riccardo Focardi, Dieter Gollmann, Gavin Lowe, Catherine Meadows
1997 — conf
Languages for Formal Specification of Security Protocols.
CSFW
Catherine Meadows
1997 C conf
Three paradigms in computer security.
NSPW
Catherine Meadows
1996 J jnl
A Formal Language for Cryptographic Protocol Requirements.
Des. Codes Cryptogr.
Paul F. Syverson, Catherine Meadows
1996 — conf
A representation of protocol attacks for risk assessment.
Network Threats
Catherine Meadows
1996 — conf
Covert Channels - A Context-Based View.
Information Hiding
Catherine Meadows, Ira S. Moskowitz
1996 J jnl
Guest Editorial: Introduction to the Special Section - Best Papers of the 1995 IEEE Symposium on Security and Privacy.
IEEE Trans. Software Eng.
Catherine Meadows
1996 — conf
Language generation and verification in the NRL protocol analyzer.
CSFW
Catherine Meadows
1996 J jnl
The NRL Protocol Analyzer: An Overview.
J. Log. Program.
Catherine Meadows
1995 C conf
Applying the dependability paradigm to computer security.
NSPW
Catherine Meadows
1995 C ed.
Proceedings of the 1995 Workshop on New Security Paradigms, San Diego, CA, USA
NSPW
Hilary H. Hosmer, John E. Dobson, Catherine Meadows
1995 J jnl
The Role of Trust in Information Integrity Protocols.
J. Comput. Secur.
Gustavus J. Simmons, Catherine Meadows
1994 — conf
A Model of Computation for the NRL Protocol Analyzer.
CSFW
Catherine Meadows
1994 A* conf
Formal Requirements for Key Distribution Protocols.
EUROCRYPT
Paul F. Syverson, Catherine Meadows
1994 J jnl
Three System for Cryptographic Protocol Analysis.
J. Cryptol.
Richard A. Kemmerer, Catherine Meadows, Jonathan K. Millen
1993 — conf
A logical language for specifying cryptographic protocol requirements.
S&P
Paul Syverson, Catherine Meadows
1993 C conf
An outline of a taxonomy of computer security research and development.
NSPW
Catherine Meadows
1993 C ed.
Proceedings on the 1992-1993 Workshop on New Security Paradigms, Sept. 22-24, 1992; and Aug. 3-5, 1993, Little Compton, RI, USA
NSPW
James Bret Michael, Victoria Ashby, Catherine Meadows
1992 J jnl
Applying Formal Methods to the Analysis of a Key Management Protocol.
J. Comput. Secur.
Catherine Meadows
1992 — conf
Panel: Fundamental Questions about Formal Methods.
CSFW
Catherine Meadows
1992 — conf
Using traces based on procedure calls to reason about composability.
S&P
Catherine Meadows
1991 — conf
A System for the Specification and Verification of Key Management Protocols.
S&P
Catherine Meadows
1991 B conf
Discussion Summary.
DBSec
Catherine Meadows
1991 — conf
Panel Discussion on the Polyinstantiation Problem: An Introduction.
CSFW
Catherine Meadows
1991 — conf
The NRL Protocol Analysis Tool: A Position Paper.
CSFW
Catherine Meadows
1990 B conf
Discussion Summary.
DBSec
Catherine Meadows
1990 — conf
Extending the Brewer-Nash Model to a Multilevel Context.
S&P
Catherine Meadows
1990 B conf
Policies for Dynamic Upgrading.
DBSec
Catherine Meadows
1990 — conf
Representing Partial Knowledge in an Algebraic Security Model.
CSFW
Catherine Meadows
1989 B conf
Constructing Containers Using a Multilevel Relational Data Model.
DBSec
Catherine Meadows
1989 — conf
Using Narrowing in the Analysis of Key Management Protocols.
S&P
Catherine Meadows
1988 B conf
Achieving a Trusted Database Management System Using Parallelism.
DBSec
Judith N. Froscher, Catherine Meadows
1987 B conf
Integrity Versus Security in Multi-Level Secure Databases.
DBSec
Catherine Meadows, Sushil Jajodia
1987 J jnl
Matching Secrets in the Absence of a Continuously Available Trusted Authority.
IEEE Trans. Software Eng.
Catherine Meadows, David Mutchler
1987 — conf
The Integrity Lock Architecture and Its Application to Message Systems: Reducing Covert Channels.
S&P
Catherine Meadows
1986 — conf
A More Efficient Cryptographic Matchmaking Protocol for Use in the Absence of a Continuously Available Third Party.
S&P
Catherine Meadows
1985 — conf
A Database Encryption Scheme Which Allows the Computation of Statistics Using Encrypted Data.
S&P
G. R. Blakley, Catherine Meadows
1985 A* conf
Fingerprinting Long Forgiving Messages.
CRYPTO
G. R. Blakley, Catherine Meadows, George B. Purdy
1984 A* conf
Security of Ramp Schemes.
CRYPTO
G. R. Blakley, Catherine Meadows