Adversarially robust machine learning with guarantees