Abstract:Deep learning (DL) models are inherently vulnerable to adversarial examples - maliciously crafted inputs to trigger target DL models to misbehave - which significantly hinders the application of DL in security-sensitive domains. Intensive research on adversarial learning has led to an arms race between adversaries and defenders. Such plethora of emerging attacks and defenses raise many questions: Which attacks are more evasive, preprocessing-proof, or transferable? Which defenses are more effective, utility-preserving, or general? Are ensembles of multiple defenses more robust than individuals? Yet, due to the lack of platforms for comprehensive evaluation on adversarial attacks and defenses, these critical questions remain largely unsolved. In this paper, we present the design, implementation, and evaluation of DEEPSEC, a uniform platform that aims to bridge this gap. In its current implementation, DEEPSEC incorporates 16 state-of-the-art attacks with 10 attack utility metrics, and 13 state-of-the-art defenses with 5 defensive utility metrics. To our best knowledge, DEEPSEC is the first platform that enables researchers and practitioners to (i) measure the vulnerability of DL models, (ii) evaluate the effectiveness of various attacks/defenses, and (iii) conduct comparative studies on attacks/defenses in a comprehensive and informative manner. Leveraging DEEPSEC, we systematically evaluate the existing adversarial attack and defense methods, and draw a set of key findings, which demonstrate DEEPSEC's rich functionality, such as (1) the trade-off between misclassification and imperceptibility is empirically confirmed; (2) most defenses that claim to be universally applicable can only defend against limited types of attacks under restricted settings; (3) it is not necessary that adversarial examples with higher perturbation magnitude are easier to be detected; (4) the ensemble of multiple defenses cannot improve the overall defense capability, but can improve the lower bound of the defense effectiveness of individuals. Extensive analysis on DEEPSEC demonstrates its capabilities and advantages as a benchmark platform which can benefit future adversarial learning research.

DeepAuto: A First Step Towards Formal Verification of Deep Learning Systems (S).

Compositional Verification for Autonomous Systems with Deep Learning Components

DeepDyve: Dynamic Verification for Deep Neural Networks

Verifying And Interpreting Neural Networks using Finite Automata

Deep learning adversarial attacks and defenses in autonomous vehicles: a systematic literature review from a safety perspective

Vehicle-Related Scene Understanding Using Deep Learning

DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars

A DPLL(T) Framework for Verifying Deep Neural Networks

Automated Verification of Neural Networks: Advances, Challenges and Perspectives

Emerging Threats in Deep Learning-Based Autonomous Driving: A Comprehensive Survey

Deep Verifier Networks: Verification of Deep Discriminative Models with Deep Generative Models

DeepXplore: Automated Whitebox Testing of Deep Learning Systems

Deep Learning Safety Concerns in Automated Driving Perception

Assumption Generation for the Verification of Learning-Enabled Autonomous Systems

Deep Learning for Safe Autonomous Driving: Current Challenges and Future Directions

Verifying Generalization in Deep Learning

DEEPSEC: A Uniform Platform for Security Analysis of Deep Learning Model.

Verifying the Generalization of Deep Learning to Out-of-Distribution Domains

Model-based Verification and Validation of an Autonomous Vehicle System

Detecting Defects in Deep Learning Systems: a Survey

Towards characterizing adversarial defects of deep learning software from the lens of uncertainty