Michael Backes, Catalin Hritcu, Matteo Maffei. Type-checking zero-knowledge. In Peng Ning, Paul F. Syverson, Somesh Jha, editors, Proceedings of the 2008 ACM Conference on Computer and Communications Security, CCS 2008, Alexandria, Virginia, USA, October 27-31, 2008. pages 357-370, ACM, 2008. [doi]
Abstract is missing.