3 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.CR2014★ 2 cited
A Hybrid Analysis for Security Protocols with State
John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman +1
Cryptographic protocols rely on message-passing to coordinate activity among principals. Each principal maintains local state in individual local sessions only as needed to complet…
cs.CR2014★ 3 cited
Proving Security Goals With Shape Analysis Sentences
John D. Ramsdell
The paper that introduced shape analysis sentences presented a method for extracting a sentence in first-order logic that completely characterizes a run of CPSA. Logical deduction…