Backes, Michael Group M. Backes, Max Planck Institute for Software Systems, Max Planck Society;
Backes, M., Hritcu, C., & Maffei, M. (2008). Type-checking zero-knowledge. In P. Ning, P. Syverson, & S. Jha (Eds.), CCS’08: Proceedings of the 15th ACM Conference on Computer and Communications Security (pp. 357-370). New York, NY: ACM.