• Computer Science
  • Published 2012

Pasture Node State Specification

  title={Pasture Node State Specification},
  author={Thomas L. Rodeheffer and Ramakrishna Kotla},
Pasture [5] is a secure messaging and logging library that enables secure off-line data access on untrusted user devices by leveraging commodity trusted hardware. Pasture does not trust the application, OS, or hypervisor and even admits hardware snooping attacks, while providing two important safety properties: access-undeniability (a user cannot deny any off-line data access obtained by his device without failing an audit) and verifiable-revocation (a user who generates a verifiable proof of… CONTINUE READING