Publication Overview

Michael Backes and Catalin Hritcu and Matteo Maffei

Type-checking zero-knowledge

Published in: ACM Conference on Computer and Communications Security
Year: 2008
Pages: 357-370