| 2023 | SACMAT | Sidecar-based Path-aware Security for Microservices. | Catherine Meadows, Sena Hounsinou, Timothy Wood, Gedare Bloom |
| 2021 | ESORICS | Moving the Bar on Computationally Sound Exclusive-Or. | Catherine Meadows |
| 2020 | INDOCRYPT | Protocol Analysis with Time. | Damin Aparicio-Snchez, Santiago Escobar, Catherine Meadows, Jos Meseguer, Julia Sapia |
| 2018 | LPAR | Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. | Antonio Gonzlez-Burgueo, Damin Aparicio-Snchez, Santiago Escobar, Catherine Meadows, Jos Meseguer |
| 2016 | PPDP | Strand spaces with choice via a process algebra semantics. | Fan Yang, Santiago Escobar, Catherine Meadows, Jos Meseguer, Sonia Santiago |
| 2014 | FOSSACS | On Asymmetric Unification and the Combination Problem in Disjoint Theories. | Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen |
| 2014 | PPDP | Theories of Homomorphic Encryption, Unification, and the Finite Variant Property. | Fan Yang, Santiago Escobar, Catherine Meadows, Jos Meseguer, Paliath Narendran |
| 2013 | CADE | Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. | Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, Jos Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse |
| 2012 | ESORICS | Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. | Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, Jos Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse |
| 2012 | ICDCIT | Actor-Network Procedures - (Extended Abstract). | Dusko Pavlovic, Catherine Meadows |
| 2011 | PPDP | Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. | Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, Jos Meseguer, Paliath Narendran, Ralf Sasse |
| 2010 | ESORICS | Sequential Protocol Composition in Maude-NPA. | Santiago Escobar, Catherine Meadows, Jos Meseguer, Sonia Santiago |
| 2008 | ESORICS | State Space Reduction in the Maude-NRL Protocol Analyzer. | Santiago Escobar, Catherine Meadows, Jos Meseguer |
| 2006 | ESORICS | Deriving Secrecy in Key Establishment Protocols. | Dusko Pavlovic, Catherine Meadows |
| 2006 | SecureComm | Towards More Efficient Distance Bounding Protocols for Use in Sensor Networks. | Catherine Meadows, Paul F. Syverson, LiWu Chang |
| 2005 | CCS | A rewriting-based inference system for the NRL protocol analyzer: grammar generation. | Santiago Escobar, Catherine Meadows, Jos Meseguer |
| 2005 | WCNC | Preventing wormhole attacks on wireless ad hoc networks: a graph theoretic approach. | Loukas Lazos, Radha Poovendran, Catherine Meadows, Paul F. Syverson, LiWu Chang |
| 2004 | ESORICS | Deriving, Attacking and Defending the GDOI Protocol. | Catherine Meadows, Dusko Pavlovic |
| 2004 | ICICS | Sound Approximations to Diffie-Hellman Using Rewrite Rules. | Christopher Lynch, Catherine Meadows |
| 2003 | CCS | Relating cryptography and formal methods: a panel. | Michael Backes, Catherine Meadows, John C. Mitchell |
| 2003 | ESOP | What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis. | Catherine Meadows |
| 2002 | PADL | Using a Declarative Language to Build an Experimental Analysis Tool. | Catherine Meadows |
| 2001 | CCS | Formalizing GDOI group key management requirements in NPATRL. | Catherine Meadows, Paul F. Syverson |
| 2000 | CAV | Invited Address: Applying Formal Methods to Cryptographic Protocol Analysis. | Catherine Meadows |
| 1999 | SP | Analysis of the Internet Key Exchange Protocol using the NRL Protocol Analyzer. | Catherine Meadows |
| 1998 | FC | A Formal Specification of Requirements for Payment Transactions in the SET Protocol. | Catherine Meadows, Paul F. Syverson |
| 1997 | NSPW | Three paradigms in computer security. | Catherine Meadows |
| 1995 | NSPW | Applying the dependability paradigm to computer security. | Catherine Meadows |
| 1994 | EuroCrypt | Formal Requirements for Key Distribution Protocols. | Paul F. Syverson, Catherine Meadows |
| 1993 | NSPW | An outline of a taxonomy of computer security research and development. | Catherine Meadows |
| 1993 | SP | A logical language for specifying cryptographic protocol requirements. | Paul Syverson, Catherine Meadows |
| 1992 | SP | Using traces based on procedure calls to reason about composability. | Catherine Meadows |
| 1991 | DBSEC | Discussion Summary. | Catherine Meadows |
| 1991 | SP | A System for the Specification and Verification of Key Management Protocols. | Catherine Meadows |
| 1990 | DBSEC | Policies for Dynamic Upgrading. | Catherine Meadows |
| 1990 | DBSEC | Discussion Summary. | Catherine Meadows |
| 1990 | SP | Extending the Brewer-Nash Model to a Multilevel Context. | Catherine Meadows |
| 1989 | DBSEC | Constructing Containers Using a Multilevel Relational Data Model. | Catherine Meadows |
| 1989 | SP | Using Narrowing in the Analysis of Key Management Protocols. | Catherine Meadows |
| 1988 | DBSEC | Achieving a Trusted Database Management System Using Parallelism. | Judith N. Froscher, Catherine Meadows |
| 1987 | DBSEC | Integrity Versus Security in Multi-Level Secure Databases. | Catherine Meadows, Sushil Jajodia |
| 1987 | SP | The Integrity Lock Architecture and Its Application to Message Systems: Reducing Covert Channels. | Catherine Meadows |
| 1986 | SP | A More Efficient Cryptographic Matchmaking Protocol for Use in the Absence of a Continuously Available Third Party. | Catherine Meadows |
| 1985 | CRYPTO | Fingerprinting Long Forgiving Messages. | G. R. Blakley, Catherine Meadows, George B. Purdy |
| 1985 | SP | A Database Encryption Scheme Which Allows the Computation of Statistics Using Encrypted Data. | G. R. Blakley, Catherine Meadows |
| 1984 | CRYPTO | Security of Ramp Schemes. | G. R. Blakley, Catherine Meadows |