David Galindo Flavio D. Garcia Peter van Rossum Computational Soundness of Non-Malleable Commitments. 361-376 2008 ISPEC http://dx.doi.org/10.1007/978-3-540-79104-1_26 conf/ispec/2008 db/conf/ispec/ispec2008.html#GalindoGR08