Catherine A. Meadows

Available identifiers

zbMath Open meadows.catherine-aWikidataQ68235186 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
https://portal.mardi4nfdi.de/entity/Q2848034	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Catherine A. Meadows