# Proofs that NM-CPA implies IND-Cpa and $\text{IND-CCA} \leftrightarrow \text{NM-CCA}$

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?