5 citations · 6 across the 3 of their papers we have counts for
4 papers
Cryptographically Assured Information Flow: Assured Remote Execution
Scott L. Dyer, Christian A. Femrite, Joshua D. Guttman +2
Assured Remote Execution on a device is the ability of suitably authorized parties to construct secure channels with known processes -- i.e. processes executing known code -- runni…
Formal Methods Analysis of the Secure Remote Password Protocol
Alan T. Sherman, Erin Lanus, Moses Liskov +7
We analyze the Secure Remote Password (SRP) protocol for structural weaknesses using the Cryptographic Protocol Shapes Analyzer (CPSA) in the first formal analysis of SRP (specific…
Enrich-by-need Protocol Analysis for Diffie-Hellman (Extended Version)
Moses D. Liskov, Joshua D. Guttman, John D. Ramsdell +2
Enrich-by-need protocol analysis is a style of symbolic protocol analysis that characterizes all executions of a protocol that extend a given scenario. In effect, it computes a str…
Formal Support for Standardizing Protocols with State
Joshua D. Guttman, Moses D. Liskov, John D. Ramsdell +1
Many cryptographic protocols are designed to achieve their goals using only messages passed over an open network. Numerous tools, based on well-understood foundations, exist for th…