Boaz Barak Oded Goldreich Shafi Goldwasser Yehuda Lindell Resettably-Sound Zero-Knowledge and its Applications. 116-125 2001 FOCS db/conf/focs/focs2001.html#BarakGGL01