Witness-based cryptographic program checking and robust function sharing (1996)

by Y Frankel, P Gemmell, M Yung
Venue:In Proc. 28th ACM Symp. on Theory of Computing