Witness-Based Cryptographic Program Checking and Robust Function Sharing

Yair Frankel, Peter Gemmell, Moti Yung. Witness-Based Cryptographic Program Checking and Robust Function Sharing. In STOC. pages 499-508, 1996. [doi]

Abstract

Abstract is missing.