AGNES: Abstraction-guided Framework for Deep Neural Networks Security