On the composition of zero-knowledge proof systems (1996)

by O Goldreich, H Krawczyk
Venue:SIAM Journal on Computing