Ivan Damgård Rune Thorbek Non-interactive Proofs for Integer Multiplication. 412-429 2007 conf/eurocrypt/2007 EUROCRYPT http://dx.doi.org/10.1007/978-3-540-72540-4_24 db/conf/eurocrypt/eurocrypt2007.html#DamgardT07