Login / Signup
Erin Hanna
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Human Experts
Metadata
Keypoints
Feature Points
Top Venues
Foundations of Security, Protocols, and Equational Reasoning
</>
Publications
</>
Erin Hanna
,
Christopher Lynch
,
David Jaz Myers
,
Corey Richardson
Finding Intruder Knowledge with Cap-Matching.
Foundations of Security, Protocols, and Equational Reasoning
(2019)