Witness-Based Cryptographic Program Checking and Robust Function Sharing.

Yair Frankel Peter Gemmell Moti Yung

Published in: STOC (1996)

Keyphrases

information sharing
computer programs
data sets
computationally efficient
program execution
database systems
video sequences
programming environment