| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Hubert Comon-Lundh, Catherine Meadows |
Special Issue on Security and Rewriting Foreword.  |
J. Autom. Reasoning  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows, M. Carmen Fernández Gago (eds.) |
Security and Trust Management - 7th International Workshop, STM 2011, Copenhagen, Denmark, June 27-28, 2011, Revised Selected Papers |
STM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dusko Pavlovic, Catherine Meadows |
Actor-Network Procedures - (Extended Abstract). |
ICDCIT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar, Catherine Meadows, José Meseguer |
State Space Reduction in the Maude-NRL Protocol Analyzer |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Dusko Pavlovic, Catherine Meadows |
Actor-network procedures: Modeling multi-factor authentication, device pairing, social interactions |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Hubert Comon-Lundh, Ralf Küsters, Catherine Meadows |
Security and Rewriting (Dagstuhl Seminar 11332). |
Dagstuhl Reports |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows |
Applications of Formal Methods to Intrusion Detection. |
Encyclopedia of Cryptography and Security (2nd Ed.) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows |
Formal Methods in Certification and Evaluation. |
Encyclopedia of Cryptography and Security (2nd Ed.) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows |
Program Verification and Security. |
Encyclopedia of Cryptography and Security (2nd Ed.) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows |
Type Checking and Security. |
Encyclopedia of Cryptography and Security (2nd Ed.) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows |
Theorem Proving and Security. |
Encyclopedia of Cryptography and Security (2nd Ed.) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows |
Formal Analysis of Cryptographic Protocols. |
Encyclopedia of Cryptography and Security (2nd Ed.) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse |
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dusko Pavlovic, Catherine Meadows |
Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron D. Jaggard, Catherine Meadows, Michael Mislove, Roberto Segala |
Reasoning about Probabilistic Security Using Task-PIOAs. |
ARSPA-WITS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Sasse, Santiago Escobar, Catherine Meadows, José Meseguer |
Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA. |
STM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago |
Sequential Protocol Composition in Maude-NPA. |
ESORICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sonia Santiago, Carolyn L. Talcott, Santiago Escobar, Catherine Meadows, José Meseguer |
A Graphical User Interface for Maude-NPA. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows |
Introduction to ACM TISSEC special issue on CCS 2005. |
ACM Trans. Inf. Syst. Secur. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar, Catherine Meadows, José Meseguer |
State Space Reduction in the Maude-NRL Protocol Analyzer. |
ESORICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Iliano Cervesato, Catherine Meadows |
One Picture Is Worth a Dozen Connectives: A Fault-Tree Representation of NPATRL Security Requirements. |
IEEE Trans. Dependable Sec. Comput. |
2007 |
DBLP DOI BibTeX RDF |
C.2.0.f Network-level security and protection, C.2.2.c Protocol verification, F.4.3 Formal Languages |
| 1 | Santiago Escobar, Catherine Meadows, José Meseguer |
Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows, Radha Poovendran, Dusko Pavlovic, LiWu Chang, Paul F. Syverson |
Distance Bounding Protocols: Authentication Logic Analysis and Collusion Attacks. |
Secure Localization and Time Synchronization for Wireless Sensor and Ad Hoc Networks |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar, Catherine Meadows, José Meseguer |
Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties. |
FOSAD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Stajano, Catherine Meadows, Srdjan Capkun, Tyler Moore (eds.) |
Security and Privacy in Ad-hoc and Sensor Networks, 4th European Workshop, ESAS 2007, Cambridge, UK, July 2-3, 2007, Proceedings |
ESAS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Santiago Escobar, Catherine Meadows, José Meseguer |
A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows, Paul F. Syverson, LiWu Chang |
Towards More Efficient Distance Bounding Protocols for Use in Sensor Networks. |
SecureComm |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dusko Pavlovic, Catherine Meadows |
Deriving Secrecy in Key Establishment Protocols. |
ESORICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Lynch, Catherine Meadows |
On the Relative Soundness of the Free Algebra Model for Public Key Encryption. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows (eds.) |
Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, WITS 2005, Long Beach, California, USA, January 10-11, 2005 |
WITS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Iliano Cervesato, Catherine Meadows, Dusko Pavlovic |
An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols. |
CSFW |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay Atluri, Catherine Meadows, Ari Juels (eds.) |
Proceedings of the 12th ACM Conference on Computer and Communications Security, CCS 2005, Alexandria, VA, USA, November 7-11, 2005 |
ACM Conference on Computer and Communications Security |
2005 |
DBLP BibTeX RDF |
|
| 1 | Santiago Escobar, Catherine Meadows, José Meseguer |
A rewriting-based inference system for the NRL protocol analyzer: grammar generation. |
FMSE |
2005 |
DBLP DOI BibTeX RDF |
formal methods, protocol verification, rewriting logic |
| 1 | Catherine Meadows, Paul F. Syverson, Iliano Cervesato |
Formal specification and analysis of the Group Domain Of Interpretation Protocol using NPATRL and the NRL Protocol Analyzer. |
Journal of Computer Security |
2004 |
DBLP BibTeX RDF |
|
| 1 | Catherine Meadows |
Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols. |
Sci. Comput. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Lynch, Catherine Meadows |
Sound Approximations to Diffie-Hellman Using Rewrite Rules. |
ICICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows, Dusko Pavlovic |
Deriving, Attacking and Defending the GDOI Protocol. |
ESORICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows |
Formal methods for cryptographic protocol analysis: emerging issues and trends. |
IEEE Journal on Selected Areas in Communications |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows |
A Procedure for Verifying Security Against Type Confusion Attacks. |
CSFW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows |
What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis. |
ESOP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Catherine Meadows, John C. Mitchell |
Relating cryptography and formal methods: a panel. |
FMSE |
2003 |
DBLP DOI BibTeX RDF |
formal methods, cryptography, security protocols |
| 1 | Catherine Meadows |
Using a Declarative Language to Build an Experimental Analysis Tool. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Catherine Meadows, Paul F. Syverson |
Environmental Requirements for Authentication Protocols. |
ISSS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows |
A Cost-Based Framework for Analysis of Denial of Service Networks. |
Journal of Computer Security |
2001 |
DBLP BibTeX RDF |
|
| 1 | Catherine Meadows |
Open Issues in Formal Methods for Cryptographic Protocol Analysis. |
MMM-ACNS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows, Paul F. Syverson |
Formalizing GDOI group key management requirements in NPATRL. |
ACM Conference on Computer and Communications Security |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows |
Invariant Generation Techniques in Cryptographic Protocol Analysis. (PDF / PS) |
CSFW |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows |
Invited Address: Applying Formal Methods to Cryptographic Protocol Analysis. |
CAV |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows, William H. Sanders |
Guest Editorial: Introduction to the Special Section - Dependable Computing for Critical Applications (DCCA-6). (PDF / PS) |
IEEE Trans. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows, Dennis M. Volpano |
The MFPS XV Security Session. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows |
Analysis of the Internet Key Exchange Protocol using the NRL Protocol Analyzer. (PDF / PS) |
IEEE Symposium on Security and Privacy |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows |
A Formal Framework and Evaluation Method for Network Denial of Service. (PDF / PS) |
CSFW |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows, Paul F. Syverson |
A Formal Specification of Requirements for Payment Transactions in the SET Protocol. |
Financial Cryptography |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Gorrieri, Paul F. Syverson, Martín Abadi, Riccardo Focardi, Dieter Gollmann, Gavin Lowe, Catherine Meadows |
Panel Introduction: Varieties of Authentication. (PDF / PS) |
CSFW |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Jacques Quisquater, Yves Deswarte, Catherine Meadows, Dieter Gollmann (eds.) |
Computer Security - ESORICS 98, 5th European Symposium on Research in Computer Security, Louvain-la-Neuve, Belgium, September 16-18, 1998, Proceedings |
ESORICS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Catherine Meadows |
Languages for Formal Specification of Security Protocols. |
CSFW |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows |
Guest Editorial: Introduction to the Special Section - Best Papers of the 1995 IEEE Symposium on Security and Privacy. (PDF / PS) |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows |
The NRL Protocol Analyzer: An Overview. |
J. Log. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul F. Syverson, Catherine Meadows |
A Formal Language for Cryptographic Protocol Requirements. |
Des. Codes Cryptography |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows, Ira S. Moskowitz |
Covert Channels - A Context-Based View. |
Information Hiding |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows |
Language generation and verification in the NRL protocol analyzer. |
CSFW |
1996 |
DBLP DOI BibTeX RDF |
language verification, NRL protocol analyzer, infinite classes of states, cryptography, formal verification, cryptographic protocols, formal languages, formal languages, access protocols, security properties, exhaustive search, language generation |
| 1 | Catherine Meadows |
Analyzing the Needham-Schroeder Public-Key Protocol: A Comparison of Two Approaches. |
ESORICS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Gustavus J. Simmons, Catherine Meadows |
The Role of Trust in Information Integrity Protocols. |
Journal of Computer Security |
1995 |
DBLP BibTeX RDF |
|
| 1 | Richard A. Kemmerer, Catherine Meadows, Jonathan K. Millen |
Three System for Cryptographic Protocol Analysis. |
J. Cryptology |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows |
A Model of Computation for the NRL Protocol Analyzer. |
CSFW |
1994 |
DBLP BibTeX RDF |
|
| 1 | Catherine Meadows |
Formal Verification of Cryptographic Protocols: A Survey. |
ASIACRYPT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul F. Syverson, Catherine Meadows |
Formal Requirements for Key Distribution Protocols. |
EUROCRYPT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows |
Applying Formal Methods to the Analysis of a Key Management Protocol. |
Journal of Computer Security |
1992 |
DBLP BibTeX RDF |
|
| 1 | Catherine Meadows |
Panel: Fundamental Questions about Formal Methods. |
CSFW |
1992 |
DBLP BibTeX RDF |
|
| 1 | Catherine Meadows |
A System for the Specification and Verification of Key Management Protocols. |
IEEE Symposium on Security and Privacy |
1991 |
DBLP BibTeX RDF |
|
| 1 | Catherine Meadows |
The NRL Protocol Analysis Tool: A Position Paper. |
CSFW |
1991 |
DBLP BibTeX RDF |
|
| 1 | Catherine Meadows |
Panel Discussion on the Polyinstantiation Problem: An Introduction. |
CSFW |
1991 |
DBLP BibTeX RDF |
|
| 1 | Catherine Meadows |
Discussion Summary. |
DBSec |
1991 |
DBLP BibTeX RDF |
|
| 1 | Catherine Meadows |
Extending the Brewer-Nash Model to a Multilevel Context. |
IEEE Symposium on Security and Privacy |
1990 |
DBLP BibTeX RDF |
|
| 1 | Catherine Meadows |
Representing Partial Knowledge in an Algebraic Security Model. |
CSFW |
1990 |
DBLP BibTeX RDF |
|
| 1 | Catherine Meadows |
Discussion Summary. |
DBSec |
1990 |
DBLP BibTeX RDF |
|
| 1 | Catherine Meadows |
Policies for Dynamic Upgrading. |
DBSec |
1990 |
DBLP BibTeX RDF |
|
| 1 | Catherine Meadows |
Using Narrowing in the Analysis of Key Management Protocols. |
IEEE Symposium on Security and Privacy |
1989 |
DBLP BibTeX RDF |
|
| 1 | Catherine Meadows |
Constructing Containers Using a Multilevel Relational Data Model. |
DBSec |
1989 |
DBLP BibTeX RDF |
|
| 1 | Judith N. Froscher, Catherine Meadows |
Achieving a Trusted Database Management System Using Parallelism. |
DBSec |
1988 |
DBLP BibTeX RDF |
|
| 1 | Catherine Meadows, David Mutchler |
Matching Secrets in the Absence of a Continuously Available Trusted Authority. |
IEEE Trans. Software Eng. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Meadows |
The Integrity Lock Architecture and Its Application to Message Systems: Reducing Covert Channels. |
IEEE Symposium on Security and Privacy |
1987 |
DBLP BibTeX RDF |
|
| 1 | Sushil Jajodia, Catherine Meadows |
Mutual Consistency in Decentralized Distributed Systems. |
ICDE |
1987 |
DBLP BibTeX RDF |
|
| 1 | Catherine Meadows, Sushil Jajodia |
Integrity Versus Security in Multi-Level Secure Databases. |
DBSec |
1987 |
DBLP BibTeX RDF |
|
| 1 | Catherine Meadows |
A More Efficient Cryptographic Matchmaking Protocol for Use in the Absence of a Continuously Available Third Party. |
IEEE Symposium on Security and Privacy |
1986 |
DBLP BibTeX RDF |
|
| 1 | G. R. Blakley, Catherine Meadows, George B. Purdy |
Fingerprinting Long Forgiving Messages. |
CRYPTO |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | G. R. Blakley, Catherine Meadows |
Security of Ramp Schemes. |
CRYPTO |
1984 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")