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