Manuel Blum Paul Feldman Silvio Micali Proving Security Against Chosen Cyphertext Attacks. 256-268 http://dx.doi.org/10.1007/0-387-34799-2_20 1988 conf/crypto/1988 CRYPTO db/conf/crypto/crypto88.html#BlumFM88