Marc Girault David Lefranc Server-Aided Verification: Theory and Practice. 605-623 2005 conf/asiacrypt/2005 ASIACRYPT http://dx.doi.org/10.1007/11593447_33 db/conf/asiacrypt/asiacrypt2005.html#GiraultL05