Catherine Meadows

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 2

Top Topics

Problems Involving

Extended Abstract

Top Venues

Publications

Aaron D. Jaggard, Paul Syverson, Catherine Meadows
A Logic of Sattestation. CoRR (2024)
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)