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

Sorry, there's nothing here.

Cite this paper

@inproceedings{Crescenzo1998CheckingPD, title={Checking Programs Discreetly: Demonstrating Result-Correctness Efficiently while Concealing it}, author={Giovanni Di Crescenzo and Kouichi Sakurai and Moti Yung}, booktitle={ISAAC}, year={1998} }