Manuel Blum Umesh V. Vazirani Vijay V. Vazirani Reducibility Among Protocols. 137-146 1983 CRYPTO db/conf/crypto/crypto83.html#VaziraniVB83