Executable Proofs, Input-Size Hiding Secure Computation and a New Ideal World.

Melissa Chase, Rafail Ostrovsky, Ivan Visconti

Browse the full EuroCrypt paper archive.