Highly Efficient Secrecy-Preserving Proofs of Correctness of Computations and Applications.

Michael O. Rabin, Rocco A. Servedio, Christopher Thorpe

Browse the full LICS paper archive.