An Epistemic Characterization of Zero Knowledge - Cornell ...16 Mar 2009 ... Joseph Y. Halpern, Rafael Pass, and Vasumathi Raman ... Cornell University.
Ithaca, NY, 14853, U.S.A. e-mail: {halpern, rafael, vraman}@cs.cornell.edu ...... By
construction of TD,SV ? , for infinitely many x ? L, s ? RL(x).
