Theoretically Principled Trade-off between Robustness and Accuracy | Synapse