Katz and Lindell book claim that from the theorem:
- Any private-key encryption scheme that is CPA-secure is also CPA-secure for multiple encryptions.
Follows the fact that:
- If $(Gen,Enc,Dec)$ is a fixed-length ($M_n = \{0,1\}^n$) CPA-secure ES then $(Gen,Enc',Dec')$ with $M_n' = (\{0,1\}^n)^{*}$ and $Enc_k'(m) = Enc_k(m^{(1)})||\ldots||Enc_k(m^{(s)})$ is also CPA-secure.
Why is it the case?
What strikes me more is that a similar theorem to 1. holds for CCA-security:
- Any private-key encryption scheme that is CCA-secure is also CCA-secure for multiple encryptions.
However, the construction does not hold (according to my slides) in the later case:
- Assuming $(Gen,Enc,Dec)$ is CCA-secure with $M_n = \{0,1\}^n$ then one can show that $(Gen,Enc',Dec')$ is not CCA-secure.