A protocol for property-based attestation

206 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Pinocchio: Nearly Practical Verifiable Computation (2013, background): “For example, systems based on replication [1, 7, 8] assume uncorrelated failures, while those based on Trusted Computing [9–11] or other secure hardware [12–15] assume that physical protections cannot be defeated.”
Cloud computing security: The scientific challenge, and a survey of solutions (2013, background): “Efforts at moving towards property-based attestation are currently being researched [17] and have”
Making argument systems for outsourced computation practical (sometimes) (2012, background): “Some attestation work, though powerful, gives assurance that a remote application has desired properties but not that it is implemented correctly [26, 53, 63, 66].”