Formal Guarantees on the Robustness of a Classifier against Adversarial Manipulation | Read Paper on Bytez