ML Privacy, Verification and Robustness in the Presence of Adversaries