Login / Signup
Catherine Meadows
Publication Activity (10 Years)
Years Active: 2011-2020
Publications (10 Years): 1
Top Topics
Solving Problems
Pairwise
Cognitive Psychology
Extended Abstract
Top Venues
UNIF
</>
Publications
</>
Andrew M. Marshall
,
Catherine Meadows
,
Paliath Narendran
,
Veena Ravishankar
,
Brandon Rozek
Algorithmic Problems in Synthesized Cryptosystems (Extended Abstract).
UNIF
(2020)
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)
Serdar Erbatur
,
Santiago Escobar
,
Deepak Kapur
,
Zhiqiang Liu
,
Christopher Lynch
,
Catherine Meadows
,
José Meseguer
,
Paliath Narendran
,
Ralf Sasse
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis.
UNIF
(2011)