Witness-Based Cryptographic Program Checking and Robust Function Sharing.

Yair Frankel, Peter Gemmell, Moti Yung

Browse the full STOC paper archive.