Checking Programs Discreetly: Demonstrating Result-Correctness Efficiently while Concealing it.

Giovanni Di Crescenzo, Kouichi Sakurai, Moti Yung

Browse the full ISAAC paper archive.