On the Composition of Zero-Knowledge Proof Systems (1996)

by O Goldreich, H Krawczyk
Venue:SIAM Jour. on Computing