Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Catherine Meadows
2010 – today
- 2013
[c60]Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse: Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. CADE 2013: 231-248- 2012
- [j22]Stephen D. Brookes, Achim Jung, Catherine Meadows, Michael W. Mislove, Prakash Panangaden: Dedication. Electr. Notes Theor. Comput. Sci. 286: 3 (2012)
- [j21]Hubert Comon-Lundh, Catherine Meadows: Special Issue on Security and Rewriting Foreword. J. Autom. Reasoning 48(2): 133-134 (2012)
- [c59]Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse: Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. ESORICS 2012: 73-90
- [c58]Dusko Pavlovic, Catherine Meadows: Actor-Network Procedures - (Extended Abstract). ICDCIT 2012: 7-26
- [c57]
- [e7]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. Lecture Notes in Computer Science 7170, Springer 2012, ISBN 978-3-642-29962-9
- 2011
- [c56]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: 65-76
- [r6]Catherine Meadows: Applications of Formal Methods to Intrusion Detection. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 44-45
- [r5]Catherine Meadows: Formal Analysis of Cryptographic Protocols. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 490-492
- [r4]Catherine Meadows: Formal Methods in Certification and Evaluation. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 498-499
- [r3]Catherine Meadows: Program Verification and Security. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 981-983
- [r2]Catherine Meadows: Theorem Proving and Security. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 1285-1287
- [r1]Catherine Meadows: Type Checking and Security. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 1342-1343
- [i3]Santiago Escobar, Catherine Meadows, José Meseguer: State Space Reduction in the Maude-NRL Protocol Analyzer. CoRR abs/1105.5282 (2011)
- [i2]Dusko Pavlovic, Catherine Meadows: Actor-network procedures: Modeling multi-factor authentication, device pairing, social interactions. CoRR abs/1106.0706 (2011)
- [i1]Hubert Comon-Lundh, Ralf Küsters, Catherine Meadows: Security and Rewriting (Dagstuhl Seminar 11332). Dagstuhl Reports 1(8): 53-66 (2011)
- 2010
- [j20]Dusko Pavlovic, Catherine Meadows: Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol. Electr. Notes Theor. Comput. Sci. 265: 97-122 (2010)
- [c55]Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago: Sequential Protocol Composition in Maude-NPA. ESORICS 2010: 303-318
- [c54]Aaron D. Jaggard, Catherine Meadows, Michael W. Mislove, Roberto Segala: Reasoning about Probabilistic Security Using Task-PIOAs. ARSPA-WITS 2010: 2-22
- [c53]Ralf Sasse, Santiago Escobar, Catherine Meadows, José Meseguer: Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA. STM 2010: 163-178
2000 – 2009
- 2009
- [j19]Sonia Santiago, Carolyn L. Talcott, Santiago Escobar, Catherine Meadows, José Meseguer: A Graphical User Interface for Maude-NPA. Electr. Notes Theor. Comput. Sci. 258(1): 3-20 (2009)
- [j18]Catherine Meadows: Introduction to ACM TISSEC special issue on CCS 2005. ACM Trans. Inf. Syst. Secur. 13(1) (2009)
- [c52]Dusko Pavlovic, Catherine Meadows: Deriving Ephemeral Authentication Using Channel Axioms. Security Protocols Workshop 2009: 240-261
- [c51]Catherine Meadows: Deriving Ephemeral Authentication Using Channel Axioms. Security Protocols Workshop 2009: 262-268
- 2008
- [c50]Santiago Escobar, Catherine Meadows, José Meseguer: State Space Reduction in the Maude-NRL Protocol Analyzer. ESORICS 2008: 548-562
- 2007
- [j17]Santiago Escobar, Catherine Meadows, José Meseguer: Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer. Electr. Notes Theor. Comput. Sci. 171(4): 23-36 (2007)
- [j16]Iliano Cervesato, Catherine Meadows: One Picture Is Worth a Dozen Connectives: A Fault-Tree Representation of NPATRL Security Requirements. IEEE Trans. Dependable Sec. Comput. 4(3): 216-227 (2007)
- [c49]Santiago Escobar, Catherine Meadows, José Meseguer: Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties. FOSAD 2007: 1-50
- [p1]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: 279-298
- [e6]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. Lecture Notes in Computer Science 4572, Springer 2007, ISBN 978-3-540-73274-7
- 2006
- [j15]Santiago Escobar, Catherine Meadows, José Meseguer: A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties. Theor. Comput. Sci. 367(1-2): 162-202 (2006)
- [c48]Dusko Pavlovic, Catherine Meadows: Deriving Secrecy in Key Establishment Protocols. ESORICS 2006: 384-403
- [c47]Catherine Meadows, Paul F. Syverson, LiWu Chang: Towards More Efficient Distance Bounding Protocols for Use in Sensor Networks. SecureComm 2006: 1-5
- 2005
- [j14]Christopher Lynch, Catherine Meadows: On the Relative Soundness of the Free Algebra Model for Public Key Encryption. Electr. Notes Theor. Comput. Sci. 125(1): 43-54 (2005)
- [c46]Santiago Escobar, Catherine Meadows, José Meseguer: A rewriting-based inference system for the NRL protocol analyzer: grammar generation. FMSE 2005: 1-12
- [c45]Iliano Cervesato, Catherine Meadows, Dusko Pavlovic: An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols. CSFW 2005: 48-61
- [c44]Loukas Lazos, Radha Poovendran, Catherine Meadows, Paul F. Syverson, LiWu Chang: Preventing wormhole attacks on wireless ad hoc networks: a graph theoretic approach. WCNC 2005: 1193-1199
- [e5]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 2005, ISBN 1-59593-226-7
- [e4]Catherine Meadows (Ed.): Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, WITS 2005, Long Beach, California, USA, January 10-11, 2005. ACM 2005, ISBN 1-58113-980-2
- 2004
- [j13]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 12(6): 893-931 (2004)
- [j12]Catherine Meadows: Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols. Sci. Comput. Program. 50(1-3): 3-22 (2004)
- [c43]Catherine Meadows, Dusko Pavlovic: Deriving, Attacking and Defending the GDOI Protocol. ESORICS 2004: 53-72
- [c42]Christopher Lynch, Catherine Meadows: Sound Approximations to Diffie-Hellman Using Rewrite Rules. ICICS 2004: 262-277
- 2003
- [j11]Catherine Meadows: Formal methods for cryptographic protocol analysis: emerging issues and trends. IEEE Journal on Selected Areas in Communications 21(1): 44-54 (2003)
- [c41]Michael Backes, Catherine Meadows, John C. Mitchell: Relating cryptography and formal methods: a panel. FMSE 2003: 61-66
- [c40]Catherine Meadows: A Procedure for Verifying Security Against Type Confusion Attacks. CSFW 2003: 62-
- [c39]Catherine Meadows: What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis. ESOP 2003: 10-21
- 2002
- [c38]Ran Canetti, Catherine Meadows, Paul F. Syverson: Environmental Requirements for Authentication Protocols. ISSS 2002: 339-355
- [c37]Catherine Meadows: Using a Declarative Language to Build an Experimental Analysis Tool. PADL 2002: 1-2
- 2001
- [j10]Catherine Meadows: A Cost-Based Framework for Analysis of Denial of Service Networks. Journal of Computer Security 9(1/2): 143-164 (2001)
- [c36]Catherine Meadows, Paul F. Syverson: Formalizing GDOI group key management requirements in NPATRL. ACM Conference on Computer and Communications Security 2001: 235-244
- [c35]Catherine Meadows: Open Issues in Formal Methods for Cryptographic Protocol Analysis. MMM-ACNS 2001: 21
- 2000
- [c34]Catherine Meadows: Invited Address: Applying Formal Methods to Cryptographic Protocol Analysis. CAV 2000: 2
- [c33]Catherine Meadows: Invariant Generation Techniques in Cryptographic Protocol Analysis. CSFW 2000: 159-167
1990 – 1999
- 1999
- [j9]Catherine Meadows, Dennis M. Volpano: The MFPS XV Security Session. Electr. Notes Theor. Comput. Sci. 20: 76-79 (1999)
- [j8]Catherine Meadows, William H. Sanders: Guest Editorial: Introduction to the Special Section - Dependable Computing for Critical Applications (DCCA-6). IEEE Trans. Software Eng. 25(5): 601-602 (1999)
- [c32]Catherine Meadows: A Formal Framework and Evaluation Method for Network Denial of Service. CSFW 1999: 4-13
- [c31]Catherine Meadows: Analysis of the Internet Key Exchange Protocol using the NRL Protocol Analyzer. IEEE Symposium on Security and Privacy 1999: 216-231
- 1998
- [c30]Roberto Gorrieri, Paul F. Syverson, Martín Abadi, Riccardo Focardi, Dieter Gollmann, Gavin Lowe, Catherine Meadows: Panel Introduction: Varieties of Authentication. CSFW 1998: 79-82
- [c29]Catherine Meadows, Paul F. Syverson: A Formal Specification of Requirements for Payment Transactions in the SET Protocol. Financial Cryptography 1998: 122-140
- [e3]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. Lecture Notes in Computer Science 1485, Springer 1998, ISBN 3-540-65004-0
- 1997
- [c28]
- [c27]
- 1996
- [j7]Paul F. Syverson, Catherine Meadows: A Formal Language for Cryptographic Protocol Requirements. Des. Codes Cryptography 7(1-2): 27-59 (1996)
- [j6]
- [j5]Catherine 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): 281-282 (1996)
- [c26]Catherine Meadows: Language generation and verification in the NRL protocol analyzer. CSFW 1996: 48-61
- [c25]Catherine Meadows: Analyzing the Needham-Schroeder Public-Key Protocol: A Comparison of Two Approaches. ESORICS 1996: 351-364
- [c24]Catherine Meadows, Ira S. Moskowitz: Covert Channels - A Context-Based View. Information Hiding 1996: 73-93
- 1995
- [j4]Gustavus J. Simmons, Catherine Meadows: The Role of Trust in Information Integrity Protocols. Journal of Computer Security 3(1): 71-84 (1995)
- [c23]
- [e2]Hilary H. Hosmer, John E. Dobson, Catherine Meadows (Eds.): Proceedings of the 1995 Workshop on New Security Paradigms, San Diego, CA, USA. IEEE Computer Society 1995, ISBN 0-8186-7318-4
- 1994
- [j3]Richard A. Kemmerer, Catherine Meadows, Jonathan K. Millen: Three System for Cryptographic Protocol Analysis. J. Cryptology 7(2): 79-130 (1994)
- [c22]Catherine Meadows: Formal Verification of Cryptographic Protocols: A Survey. ASIACRYPT 1994: 135-150
- [c21]
- [c20]Paul F. Syverson, Catherine Meadows: Formal Requirements for Key Distribution Protocols. EUROCRYPT 1994: 320-331
- 1993
- [c19]Catherine Meadows: An outline of a taxonomy of computer security research and development. NSPW 1993: 33-35
- [e1]James Bret Michael, Victoria Ashby, Catherine Meadows (Eds.): Proceedings on the 1992-1993 Workshop on New Security Paradigms, Sept. 22-24, 1992; and Aug. 3-5, 1993, Little Compton, RI, USA. ACM 1993, ISBN 0-8186-5430-9
- 1992
- [j2]Catherine Meadows: Applying Formal Methods to the Analysis of a Key Management Protocol. Journal of Computer Security 1(1): 5-36 (1992)
- [c18]
- 1991
- [c17]
- [c16]Catherine Meadows: Panel Discussion on the Polyinstantiation Problem: An Introduction. CSFW 1991: 234
- [c15]
- [c14]Catherine Meadows: A System for the Specification and Verification of Key Management Protocols. IEEE Symposium on Security and Privacy 1991: 182-197
- 1990
- [c13]
- [c12]
- [c11]
- [c10]Catherine Meadows: Extending the Brewer-Nash Model to a Multilevel Context. IEEE Symposium on Security and Privacy 1990: 95-103
1980 – 1989
- 1989
- [c9]Catherine Meadows: Constructing Containers Using a Multilevel Relational Data Model. DBSec 1989: 127-141
- [c8]Catherine Meadows: Using Narrowing in the Analysis of Key Management Protocols. IEEE Symposium on Security and Privacy 1989: 138-147
- 1988
- [c7]Judith N. Froscher, Catherine Meadows: Achieving a Trusted Database Management System Using Parallelism. DBSec 1988: 151-160
- 1987
- [j1]Catherine Meadows, David Mutchler: Matching Secrets in the Absence of a Continuously Available Trusted Authority. IEEE Trans. Software Eng. 13(2): 289-292 (1987)
- [c6]Catherine Meadows, Sushil Jajodia: Integrity Versus Security in Multi-Level Secure Databases. DBSec 1987: 89-101
- [c5]Sushil Jajodia, Catherine Meadows: Mutual Consistency in Decentralized Distributed Systems. ICDE 1987: 396-404
- [c4]Catherine Meadows: The Integrity Lock Architecture and Its Application to Message Systems: Reducing Covert Channels. IEEE Symposium on Security and Privacy 1987: 212-219
- 1986
- [c3]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: 134-137
- 1985
- [c2]G. R. Blakley, Catherine Meadows, George B. Purdy: Fingerprinting Long Forgiving Messages. CRYPTO 1985: 180-189
- 1984
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18 22:40 CEST by the dblp team