Login / Signup
David Jaz Myers
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 2
Top Topics
Human Experts
Modal Logic
Prime Implicates
Finding Similar
Top Venues
Foundations of Security, Protocols, and Equational Reasoning
ACT
</>
Publications
</>
Brendan Fong
,
David Jaz Myers
,
David I. Spivak
Behavioral Mereology: A Modal Logic for Passing Constraints.
ACT
(2020)
Erin Hanna
,
Christopher Lynch
,
David Jaz Myers
,
Corey Richardson
Finding Intruder Knowledge with Cap-Matching.
Foundations of Security, Protocols, and Equational Reasoning
(2019)