[VMCAI'24] AGNES: Abstraction-guided Framework for Deep Neural Networks Security

ACM SIGPLAN - [VMCAI'24] AGNES: Abstraction-guided Framework for Deep Neural Networks Security