Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Catherine Meadows 0001

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Sonia Santiago

> Home > Persons > Catherine Meadows 0001

Publications

2023
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Yang0MMS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Yang0MMS23
Fan Yang, Santiago Escobar, Catherine 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: 307-350
2016
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/YangEMMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/YangEMMS16
Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago:
Strand spaces with choice via a process algebra semantics. PPDP 2016: 76-89
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/SantiagoEMM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SantiagoEMM16
Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer:
Effective Sequential Protocol Composition in Maude-NPA. CoRR abs/1603.00087 (2016)
2015
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/EscobarMMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/EscobarMMS15
Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago:
Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories. Programming Languages with Applications to Biology and Security 2015: 238-261
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/secsr/Gonzalez-Burgueno15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secsr/Gonzalez-Burgueno15
Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer:
Analysis of the PKCS#11 API Using the Maude-NPA Tool. SSR 2015: 86-106
2014
[j19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/EscobarMMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/EscobarMMS14
Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago:
State space reduction in the Maude-NRL Protocol Analyzer. Inf. Comput. 238: 157-186 (2014)
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/hotsos/EscobarMMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotsos/EscobarMMS14
Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago:
A rewriting-based forwards semantics for Maude-NPA. HotSoS 2014: 3
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/secsr/Gonzalez-Burgueno14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secsr/Gonzalez-Burgueno14
Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer:
Analysis of the IBM CCA Security API Protocols in Maude-NPA. SSR 2014: 111-130
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/stm/SantiagoEMM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/SantiagoEMM14
Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer:
A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA. STM 2014: 162-177
2013
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/ErbaturEKLLMMNSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/ErbaturEKLLMMNSS13
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
[c71]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esorics/ErbaturEKLLMMNSS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/ErbaturEKLLMMNSS12
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
2010
[c65]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esorics/EscobarMMS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/EscobarMMS10
Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago:
Sequential Protocol Composition in Maude-NPA. ESORICS 2010: 303-318
2009
[c59]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SantiagoTEMM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SantiagoTEMM09
Sonia Santiago, Carolyn L. Talcott, Santiago Escobar, Catherine Meadows, José Meseguer:
A Graphical User Interface for Maude-NPA. PROLE 2009: 3-20

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.