I've seen it mentioned multiple times, but have not seen a formal proof of how security of an encryption scheme against a non adaptive chosen-ciphertext attacker (under non-malleability or ciphertext indistinguishability) implies security against an adaptive chosen-plaintext attacker.
Does IND-CCA1 imply IND-CPA (and NM-CCA1 imply NM-CPA)?