I am looking for a proof for the following two claims from "Serious Cryptography" by Aumasson.
NM-CPA implies IND-CPA. [...] IND-CCA and NM-CCA are equivalent notions that imply the presence of the other.
where IND-CPA/IND-CCA and NM-CPA/CCA are defined as indistinguishability and non-malleability under chosen plaintext/chiphertext respectively.
Where can I find those proofs?