Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Catherine Meadows 0001

◀ ▶ joint publications with Andrew M. Marshall

> Home > Persons > Catherine Meadows 0001

Publications

2022
[c93]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-10321
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-10321
Dalton Chichester, Wei Du, Raymond Kauffman, Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Luis Rovira, Brandon Rozek:
CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms. GandALF 2022: 147-161
2021
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/LinLMMNRR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/LinLMMNRR21
Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek:
Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems. FroCoS 2021: 253-270
2020
[c87]
- view
  - electronic edition @ jku.at (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/unif/MarshallMNRR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/MarshallMNRR20
Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek:
Algorithmic Problems in Synthesized Cryptosystems (Extended Abstract). UNIF 2020: 10:1-10:6
2019
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/LynchMMNR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/LynchMMNR19
Christopher Lynch, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar:
On Asymmetric Unification for the Theory of XOR with a Homomorphism. FroCos 2019: 297-312
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-00227
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-00227
Christopher Lynch, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar:
On Asymmetric Unification for the Theory of XOR with a Homomorphism. CoRR abs/1907.00227 (2019)
2015
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MarshallMN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MarshallMN15
Andrew M. Marshall, Catherine Meadows, Paliath Narendran:
On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry. Log. Methods Comput. Sci. 11(2) (2015)
2014
[c78]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/ErbaturKMMNR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/ErbaturKMMNR14
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen:
On Asymmetric Unification and the Combination Problem in Disjoint Theories. FoSSaCS 2014: 274-288
[c73]
- view
  - electronic edition @ jku.at (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/unif/ErbaturKMMNR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/ErbaturKMMNR14
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen:
On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract). UNIF 2014: 33-35

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.