Catherine Meadows

Available identifiers

zbMath Open meadows.catherine-aDBLP99/395WikidataQ68235186 ScholiaQ68235186MaRDI QIDQ831946

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6191017	2024-02-08	Paper
Protocol analysis with time and space	2022-07-13	Paper
Protocol analysis with time	2022-07-06	Paper
Moving the bar on computationally sound exclusive-or	2022-06-24	Paper
Algorithmic problems in the symbolic approach to the verification of automatically synthesized cryptosystems	2022-03-24	Paper
On asymmetric unification for the theory of XOR with a homomorphism	2020-05-13	Paper
Model Checking Security Protocols	2018-07-20	Paper
Stealthy protocols: metrics and open problems	2018-03-26	Paper
Security of Ramp Schemes	2017-04-10	Paper
Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol	2016-07-08	Paper
Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories	2016-01-08	Paper
Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later	2015-09-14	Paper
On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry	2015-08-25	Paper
State space reduction in the Maude-NRL protocol analyzer	2014-10-20	Paper
On Asymmetric Unification and the Combination Problem in Disjoint Theories	2014-04-16	Paper
On the relative soundness of the free algebra model for public key encryption	2013-09-25	Paper
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis	2013-06-14	Paper
Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties	2009-10-22	Paper
A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties	2007-01-09	Paper
Information and Communications Security	2005-08-19	Paper
Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols	2004-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4418587	2003-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4417879	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4330523	2002-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q4375715	1998-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q4365751	1997-11-18	Paper
https://portal.mardi4nfdi.de/entity/Q4341785	1997-10-20	Paper
The NRL Protocol Analyzer: An Overview	1997-04-17	Paper
A formal language for cryptographic protocol requirements	1996-08-19	Paper
Three systems for cryptographic protocol analysis	1994-08-17	Paper
Summing over a network without revealing summands	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3739051	1985-01-01	Paper
Linear systems cut out by quadric on projections of varieties	1984-01-01	Paper

Research outcomes over time

This page was built for person: Catherine Meadows