dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Catherine Meadows (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerdar 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
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago 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
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, Catherine Meadows, José Meseguer: State Space Reduction in the Maude-NRL Protocol Analyzer CoRR abs/1105.5282: (2011)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago: Sequential Protocol Composition in Maude-NPA. ESORICS 2010: 303-318
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Sasse, Santiago Escobar, Catherine Meadows, José Meseguer: Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA. STM 2010: 163-178
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSonia 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)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, Catherine Meadows, José Meseguer: State Space Reduction in the Maude-NRL Protocol Analyzer. ESORICS 2008: 548-562
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, Catherine Meadows, José Meseguer: Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties. FOSAD 2007: 1-50
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, Catherine Meadows, José Meseguer: Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer. Electr. Notes Theor. Comput. Sci. 171(4): 23-36 (2007)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago 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)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, Catherine Meadows, José Meseguer: A rewriting-based inference system for the NRL protocol analyzer: grammar generation. FMSE 2005: 1-12

Selection of 11 from 88 records - Catherine Meadows has 47 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page