Hope for a Type-Theoretic Understanding of Zero-Knowledge Date October 04, 2012 Speakers Noam Zeilberger, Institute for Advanced Study Affiliation IMDEA Software Institute; Member, School of Mathematics School of Mathematics