Giovanni Di Crescenzo Helger Lipmaa Succinct NP Proofs from an Extractability Assumption. 175-185 2008 CiE http://dx.doi.org/10.1007/978-3-540-69407-6_21 conf/cie/2008 db/conf/cie/cie2008.html#CrescenzoL08