FRAMEWORK FOR CERTIFYING A LOWER BOUND ON A ROBUSTNESS LEVEL OF CONVOLUTIONAL NEURAL NETWORKS

A certification method, system, and computer program product include certifying an adversarial robustness of a convolutional neural network by deriving an analytic solution for a neural network output using an efficient upper bound and an efficient lower bound on an activation function and applying the analytic solution in computing a certified robustness.