Catherine A. Meadows

Publication Activity (10 Years)

Years Active: 1984-2023
Publications (10 Years): 23

Top Venues

CoRR

STM

SSR

IACR Cryptol. ePrint Arch.

Publications

D. Galán, Víctor García, Santiago Escobar, Catherine A. Meadows, José Meseguer
Protocol Dialects as Formal Patterns. ESORICS (2) (2023)
Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago
Strand Spaces with Choice via a Process Algebra Semantics. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Dalton Chichester, Wei Du, Raymond Kauffman, Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Luis Rovira, Brandon Rozek
CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms. GandALF (2022)
Damián Aparicio-Sánchez, Santiago Escobar, Catherine A. Meadows, José Meseguer, Julia Sapiña
Protocol Analysis with Time and Space. Protocols, Strands, and Logic (2021)
Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek
Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems. FroCoS (2021)
Olga Chen, Aaron D. Jaggard, Catherine A. Meadows, Michael C. Shlanta
NExtSteP: An Extensible Testbed for Network Covert Channels. CNS (2020)
Catherine A. Meadows
Symbolic and Computational Reasoning About Cryptographic Modes of Operation. IACR Cryptol. ePrint Arch. 2020 (2020)
Damián Aparicio-Sánchez, Santiago Escobar, Catherine A. Meadows, José Meseguer, Julia Sapiña
Protocol Analysis with Time. CoRR (2020)
Damián Aparicio-Sánchez, Santiago Escobar, Catherine A. Meadows, José Meseguer, Julia Sapiña
Protocol Analysis with Time. INDOCRYPT (2020)
Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar
On Asymmetric Unification for the Theory of XOR with a Homomorphism. FroCos (2019)
Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar
On Asymmetric Unification for the Theory of XOR with a Homomorphism. CoRR (2019)
Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer
Strand Spaces with Choice via a Process Algebra Semantics. CoRR (2019)
Antonio González-Burgueño, Damián Aparicio, Santiago Escobar, Catherine A. Meadows, José Meseguer
Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. CoRR (2018)
Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer
Modular Verification of Sequential Composition for Private Channels in Maude-NPA. STM (2018)
Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar, Catherine A. Meadows, José Meseguer
Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. LPAR (2018)
Catherine A. Meadows
Symbolic Security Criteria for Blockwise Adaptive Secure Modes of Encryption. IACR Cryptol. ePrint Arch. 2017 (2017)
Olga Chen, Catherine A. Meadows, Gautam Trivedi
Stealthy Protocols: Metrics and Open Problems. Concurrency, Security, and Puzzles (2017)
Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago
Strand spaces with choice via a process algebra semantics. PPDP (2016)
Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer
Effective Sequential Protocol Composition in Maude-NPA. CoRR (2016)
Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran
On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry. Log. Methods Comput. Sci. 11 (2) (2015)
Catherine A. Meadows
Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later. Logic, Rewriting, and Concurrency (2015)
Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago
Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories. Programming Languages with Applications to Biology and Security (2015)
Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer
Analysis of the PKCS#11 API Using the Maude-NPA Tool. SSR (2015)
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Christophe Ringeissen
On Asymmetric Unification and the Combination Problem in Disjoint Theories. FoSSaCS (2014)
Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer
A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA. STM (2014)
Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer
Analysis of the IBM CCA Security API Protocols in Maude-NPA. SSR (2014)
Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago
A rewriting-based forwards semantics for Maude-NPA. HotSoS (2014)
Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Paliath Narendran
Theories of Homomorphic Encryption, Unification, and the Finite Variant Property. PPDP (2014)
Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago
State space reduction in the Maude-NRL Protocol Analyzer. Inf. Comput. 238 (2014)
Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine A. Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. CADE (2013)
Stephen D. Brookes, Achim Jung, Catherine A. Meadows, Michael W. Mislove, Prakash Panangaden
Dedication. MFPS (2012)
Catherine A. Meadows, Dusko Pavlovic
Formalizing Physical Security Procedures. STM (2012)
Dusko Pavlovic, Catherine A. Meadows
Actor-Network Procedures - (Extended Abstract). ICDCIT (2012)
Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine A. Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse
Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. ESORICS (2012)
Hubert Comon-Lundh, Catherine A. Meadows
Special Issue on Security and Rewriting Foreword. J. Autom. Reason. 48 (2) (2012)
Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine A. Meadows, José Meseguer, Paliath Narendran, Ralf Sasse
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. PPDP (2011)
Dusko Pavlovic, Catherine A. Meadows
Actor-network procedures: Modeling multi-factor authentication, device pairing, social interactions CoRR (2011)
Hubert Comon-Lundh, Ralf Küsters, Catherine A. Meadows
Security and Rewriting (Dagstuhl Seminar 11332). Dagstuhl Reports 1 (8) (2011)
Santiago Escobar, Catherine A. Meadows, José Meseguer
State Space Reduction in the Maude-NRL Protocol Analyzer CoRR (2011)
Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago
Sequential Protocol Composition in Maude-NPA. ESORICS (2010)
Ralf Sasse, Santiago Escobar, Catherine A. Meadows, José Meseguer
Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA. STM (2010)
Aaron D. Jaggard, Catherine A. Meadows, Michael W. Mislove, Roberto Segala
Reasoning about Probabilistic Security Using Task-PIOAs. ARSPA-WITS (2010)
Dusko Pavlovic, Catherine A. Meadows
Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol. MFPS (2010)
Dusko Pavlovic, Catherine A. Meadows
Deriving Ephemeral Authentication Using Channel Axioms. Security Protocols Workshop (2009)
Catherine A. Meadows
Introduction to ACM TISSEC special issue on CCS 2005. ACM Trans. Inf. Syst. Secur. 13 (1) (2009)
Sonia Santiago, Carolyn L. Talcott, Santiago Escobar, Catherine A. Meadows, José Meseguer
A Graphical User Interface for Maude-NPA. Electron. Notes Theor. Comput. Sci. 258 (1) (2009)
Catherine A. Meadows
Deriving Ephemeral Authentication Using Channel Axioms. Security Protocols Workshop (2009)
Dusko Pavlovic, Catherine A. Meadows
Quantifying pervasive authentication: the case of the Hancke-Kuhn protocol. CoRR (2009)
Santiago Escobar, Catherine A. Meadows, José Meseguer
State Space Reduction in the Maude-NRL Protocol Analyzer. ESORICS (2008)
Santiago Escobar, Catherine A. Meadows, José Meseguer
Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties. FOSAD (2007)
Iliano Cervesato, Catherine A. Meadows
One Picture Is Worth a Dozen Connectives: A Fault-Tree Representation of NPATRL Security Requirements. IEEE Trans. Dependable Secur. Comput. 4 (3) (2007)
Santiago Escobar, Catherine A. Meadows, José Meseguer
Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer. Electron. Notes Theor. Comput. Sci. 171 (4) (2007)
Santiago Escobar, Catherine A. Meadows, José Meseguer
A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties. Theor. Comput. Sci. 367 (1-2) (2006)
Dusko Pavlovic, Catherine A. Meadows
Deriving Secrecy in Key Establishment Protocols. ESORICS (2006)
Catherine A. Meadows, Paul F. Syverson, LiWu Chang
Towards More Efficient Distance Bounding Protocols for Use in Sensor Networks. SecureComm (2006)
Iliano Cervesato, Catherine A. Meadows, Dusko Pavlovic
An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols. CSFW (2005)
Christopher Lynch, Catherine A. Meadows
On the Relative Soundness of the Free Algebra Model for Public Key Encryption. Electron. Notes Theor. Comput. Sci. 125 (1) (2005)
Loukas Lazos, Radha Poovendran, Catherine A. Meadows, Paul F. Syverson, LiWu Chang
Preventing wormhole attacks on wireless ad hoc networks: a graph theoretic approach. WCNC (2005)
Santiago Escobar, Catherine A. Meadows, José Meseguer
A rewriting-based inference system for the NRL protocol analyzer: grammar generation. FMSE (2005)
Catherine A. Meadows
Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols. Sci. Comput. Program. 50 (1-3) (2004)
Catherine A. Meadows, Paul F. Syverson, Iliano Cervesato
Formal specification and analysis of the Group Domain Of Interpretation Protocol using NPATRL and the NRL Protocol Analyzer. J. Comput. Secur. 12 (6) (2004)
Christopher Lynch, Catherine A. Meadows
Sound Approximations to Diffie-Hellman Using Rewrite Rules. ICICS (2004)
Catherine A. Meadows, Dusko Pavlovic
Deriving, Attacking and Defending the GDOI Protocol. ESORICS (2004)
Catherine A. Meadows
A Procedure for Verifying Security Against Type Confusion Attacks. CSFW (2003)
Michael Backes, Catherine A. Meadows, John C. Mitchell
Relating cryptography and formal methods: a panel. FMSE (2003)
Catherine A. Meadows
Formal methods for cryptographic protocol analysis: emerging issues and trends. IEEE J. Sel. Areas Commun. 21 (1) (2003)
Catherine A. Meadows
What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis. ESOP (2003)
Catherine A. Meadows
Using a Declarative Language to Build an Experimental Analysis Tool. PADL (2002)
Ran Canetti, Catherine A. Meadows, Paul F. Syverson
Environmental Requirements for Authentication Protocols. ISSS (2002)
Catherine A. Meadows, Paul F. Syverson
Formalizing GDOI group key management requirements in NPATRL. CCS (2001)
Catherine A. Meadows
A Cost-Based Framework for Analysis of Denial of Service Networks. J. Comput. Secur. 9 (1/2) (2001)
Dieter Gollmann, Catherine A. Meadows, Eiji Okamoto
Editorial. Int. J. Inf. Sec. 1 (1) (2001)
Catherine A. Meadows
Open Issues in Formal Methods for Cryptographic Protocol Analysis. MMM-ACNS (2001)
Catherine A. Meadows
Invited Address: Applying Formal Methods to Cryptographic Protocol Analysis. CAV (2000)
Catherine A. Meadows
Invariant Generation Techniques in Cryptographic Protocol Analysis. CSFW (2000)
Stuart G. Stubblebine, Catherine A. Meadows
Formal characterization and automated analysis of known-pair and chosen-text attacks. IEEE J. Sel. Areas Commun. 18 (4) (2000)
Catherine A. Meadows
A Formal Framework and Evaluation Method for Network Denial of Service. CSFW (1999)
Catherine A. Meadows, Dennis M. Volpano
The MFPS XV Security Session. MFPS (1999)
Catherine A. Meadows
Analysis of the Internet Key Exchange Protocol using the NRL Protocol Analyzer. IEEE Symposium on Security and Privacy (1999)
Catherine A. Meadows, William H. Sanders
Guest Editorial: Introduction to the Special Section - Dependable Computing for Critical Applications (DCCA-6). IEEE Trans. Software Eng. 25 (5) (1999)
Catherine A. Meadows, Paul F. Syverson
A Formal Specification of Requirements for Payment Transactions in the SET Protocol. Financial Cryptography (1998)
Roberto Gorrieri, Paul F. Syverson, Martín Abadi, Riccardo Focardi, Dieter Gollmann, Gavin Lowe, Catherine A. Meadows
Panel Introduction: Varieties of Authentication. CSFW (1998)
Catherine A. Meadows
Three paradigms in computer security. NSPW (1997)
Catherine A. Meadows
Languages for Formal Specification of Security Protocols. CSFW (1997)
Catherine A. Meadows
A representation of protocol attacks for risk assessment. Network Threats (1996)
Catherine A. Meadows
Guest Editorial: Introduction to the Special Section - Best Papers of the 1995 IEEE Symposium on Security and Privacy. IEEE Trans. Software Eng. 22 (5) (1996)
Catherine A. Meadows
The NRL Protocol Analyzer: An Overview. J. Log. Program. 26 (2) (1996)
Paul F. Syverson, Catherine A. Meadows
A Formal Language for Cryptographic Protocol Requirements. Des. Codes Cryptogr. 7 (1-2) (1996)
Catherine A. Meadows
Language generation and verification in the NRL protocol analyzer. CSFW (1996)
Catherine A. Meadows, Ira S. Moskowitz
Covert Channels - A Context-Based View. Information Hiding (1996)
Catherine A. Meadows
Analyzing the Needham-Schroeder Public-Key Protocol: A Comparison of Two Approaches. ESORICS (1996)
Catherine A. Meadows
Applying the dependability paradigm to computer security. NSPW (1995)
Gustavus J. Simmons, Catherine A. Meadows
The Role of Trust in Information Integrity Protocols. J. Comput. Secur. 3 (1) (1995)
Richard A. Kemmerer, Catherine A. Meadows, Jonathan K. Millen
Three System for Cryptographic Protocol Analysis. J. Cryptol. 7 (2) (1994)
Catherine A. Meadows
A Model of Computation for the NRL Protocol Analyzer. CSFW (1994)
Catherine A. Meadows
Formal Verification of Cryptographic Protocols: A Survey. ASIACRYPT (1994)
Paul F. Syverson, Catherine A. Meadows
Formal Requirements for Key Distribution Protocols. EUROCRYPT (1994)
Catherine A. Meadows
An outline of a taxonomy of computer security research and development. NSPW (1993)
Paul Syverson, Catherine A. Meadows
A logical language for specifying cryptographic protocol requirements. IEEE Symposium on Security and Privacy (1993)
Catherine A. Meadows
Using traces based on procedure calls to reason about composability. IEEE Symposium on Security and Privacy (1992)

Catherine A. Meadows.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Catherine A. Meadows