Witness-Based Cryptographic Program Checking and Applications (an Announcement).

Yair Frankel Peter Gemmell Moti Yung Witness-Based Cryptographic Program Checking and Applications (an Announcement). 211 1996 PODC db/conf/podc/podc96.html#FrankelGY96