A certifying compiler for zeroknowledge proofs of knowledge based on σ-protocols. (2010)

by J B Almeida, E Bangerter, M Barbosa, S Krenn, A-R Sadeghi, T Schneider
Venue:In Proceedings of the European Conference on Research in Computer Security,