Type-checking Zero-knowledge

Michael Backes, Cătălin Hriţcu, and Matteo Maffei

Details

Publication typeInproceedings
Published in15th ACM Conference on Computer and Communications Security (CCS 2008)
Pages357-370
PublisherACM Press
> Publications > Type-checking Zero-knowledge