A.: Witness indistinguishable and witness hiding protocols (1990)

by U Feige, Shamir
Venue:In: 22nd Annual ACM Symposium on Theory of Computing