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

by Oded Goldreich, Hugo Krawczyk
Venue:SIAM Journal on Computing