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

Yair Frankel, Peter Gemmell, Moti Yung

Browse the full PODC paper archive.