Type-checking zero-knowledge

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]

Authors

Michael Backes

This author has not been identified. Look up 'Michael Backes' in Google

Catalin Hritcu

This author has not been identified. Look up 'Catalin Hritcu' in Google

Matteo Maffei

This author has not been identified. Look up 'Matteo Maffei' in Google