The following pages link to Catherine A. Meadows (Q831946):
Displaying 33 items.
- (Q462491) (redirect page) (← links)
- (Q1330135) (redirect page) (← links)
- State space reduction in the Maude-NRL protocol analyzer (Q462493) (← links)
- Algorithmic problems in the symbolic approach to the verification of automatically synthesized cryptosystems (Q831949) (← links)
- A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties (Q860906) (← links)
- Linear systems cut out by quadric on projections of varieties (Q1066207) (← links)
- Summing over a network without revealing summands (Q1119609) (← links)
- Three systems for cryptographic protocol analysis (Q1330137) (← links)
- Stealthy protocols: metrics and open problems (Q1708705) (← links)
- Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols (Q1887728) (← links)
- A formal language for cryptographic protocol requirements (Q1910421) (← links)
- Moving the bar on computationally sound exclusive-or (Q2148759) (← links)
- Protocol analysis with time (Q2152027) (← links)
- Protocol analysis with time and space (Q2154006) (← links)
- On asymmetric unification for the theory of XOR with a homomorphism (Q2180236) (← links)
- (Q2848034) (← links)
- On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry (Q2941759) (← links)
- Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later (Q2945721) (← links)
- Security of Ramp Schemes (Q2974487) (← links)
- The NRL Protocol Analyzer: An Overview (Q3128627) (← links)
- Model Checking Security Protocols (Q3176380) (← links)
- Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol (Q3178248) (← links)
- Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties (Q3184784) (← links)
- Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories (Q3460872) (← links)
- (Q3739051) (← links)
- (Q4330523) (← links)
- (Q4341785) (← links)
- (Q4365751) (← links)
- (Q4375715) (← links)
- (Q4417879) (← links)
- (Q4418587) (← links)
- Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis (Q4928441) (← links)
- On Asymmetric Unification and the Combination Problem in Disjoint Theories (Q5410678) (← links)
- Information and Communications Security (Q5464794) (← links)
