Michael O. Rabin, Rocco A. Servedio, Christopher Thorpe. Highly Efficient Secrecy-Preserving Proofs of Correctness of Computations and Applications. In 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings. pages 63-76, IEEE Computer Society, 2007. [doi]
Abstract is missing.