33 citations · 33 across the 4 of their papers we have counts for
4 papers
General Cutting Planes for Bound-Propagation-Based Neural Network Verification
Huan Zhang, Shiqi Wang, Kaidi Xu +5
Bound propagation methods, when combined with branch and bound, are among the most effective methods to formally verify properties of deep neural networks such as correctness, robu…
Game of Trojans: A Submodular Byzantine Approach
Dinuka Sahabandu, Arezoo Rajabi, Luyao Niu +3
Machine learning models in the wild have been shown to be vulnerable to Trojan attacks during training. Although many detection mechanisms have been proposed, strong adaptive attac…
How to Steer Your Adversary: Targeted and Efficient Model Stealing Defenses with Gradient Redirection
Mantas Mazeika, Bo Li, David Forsyth
Model stealing attacks present a dilemma for public machine learning APIs. To protect financial investments, companies may be forced to withhold important information about their m…
Copy, Right? A Testing Framework for Copyright Protection of Deep Learning Models
Jialuo Chen, Jingyi Wang, Tinglan Peng +6
Deep learning (DL) models, especially those large-scale and high-performance ones, can be very costly to train, demanding a great amount of data and computational resources. Unauth…