Proof of Plaintext Knowledge for the Ajtai-Dwork Cryptosystem. - Shafi Goldwasser; Dmitriy Kharchenko (TCC, 2005)