Videos

Hope for a Type-Theoretic Understanding of Zero-Knowledge

Presenter
October 4, 2012
IAS
Hope for a Type-Theoretic Understanding of Zero-Knowledge Thumbnail
Play Video
Abstract
Hope for a Type-Theoretic Understanding of Zero-Knowledge