Jump to Content

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

Giovanni Di Crescenzo
Kouichi Sakurai
ISAAC '98: Proceedings of the 9th International Symposium on Algorithms and Computation, Springer-Verlag, London, UK (1998), pp. 59-68

Abstract

Research Areas