Detecting program-tampering in the cloud: advances in zero-knowledge proofs
web.mit.edu