the National Basic Research Program of China (Grant No. G2002cb312205)
This paper formally discusses the security problem caused by the ciphertext verification, presenting a new security notion named IND-CVA (indistinguishability under ciphertext verification attacks) to characterize t...