3 citations · 5 across the 3 of their papers we have counts for
Showing cs.CRShow all
3 papers · 1 filter
cs.CR2024
Evidence Tampering and Chain of Custody in Layered Attestations
Ian D. Kretz, Clare C. Parran, John D. Ramsdell +1
In distributed systems, trust decisions are made on the basis of integrity evidence generated via remote attestation. Examples of the kinds of evidence that might be collected are…
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…