Nikita Borisov Kazuhiro Minami Single-bit re-encryption with applications to distributed proof systems. 48-55 2007 WPES http://doi.acm.org/10.1145/1314333.1314341 conf/wpes/2007 db/conf/wpes/wpes2007.html#BorisovM07