Towards Deep Learning Models Resistant to Adversarial Attacks
Verification of Recurrent Neural Networks
Reachability Analysis and Safety Verification for Neural Network Control Systems
Trust Management for Vehicular Networks: An Adversary-Oriented Overview
DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks
Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability