Huijia Lin, Rafael Pass: Concurrent Non-Malleable Zero Knowledge with Adaptive Inputs. TCC 2011: 274-292