Verifiable Computation

While storage integrity requirements address the integrity of outsourced data, computation integrity requirements address the correctness of outsourced computation. The aim of TREDISEC is to deal with this problem. The main requirements are summarized below.

Verifiable Document Redacting

A verifiable document redacting primitive that empowers cloud users to easily remove some part of their already signed document without having an impact on the validity of the signature. Thanks to this new primitive, users will not disclose private information of the document that does not need to be shared with the destined party.

Verifiable Polynomial Evaluation

Cryptographic scheme that enables a cloud provider to evaluate a polynomial over an input received from the user and to prove to a user that the output is actually correct. We consider a scenario whereby a user wishes to outsource a high-degree polynomial P to the cloud server. Further, a queried requests the evaluation of this polynomial over some inputs x. In addition to the output and the server also provides a proof p on the correctness of the output. Finally, the verifier receiving the output and the proof verifies p and concludes whether y equals P(x).