1.3k citations · 2.7k across the 38 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.CR2021★ 1 cited
Evaluating the Robustness of Trigger Set-Based Watermarks Embedded in Deep Neural Networks
Suyoung Lee, Wonho Song, Suman Jana +2
Trigger set-based watermarking schemes have gained emerging attention as they provide a means to prove ownership for deep neural network model owners. In this paper, we argue that…
cs.CR2021★ 26 cited
Learning Security Classifiers with Verified Global Robustness Properties
Yizheng Chen, Shiqi Wang, Yue Qin +3
Many recent works have proposed methods to train classifiers with local robustness properties, which can provably eliminate classes of evasion attacks for most inputs, but not all…
cs.LG2021★ 14 cited
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification
Shiqi Wang, Huan Zhang, Kaidi Xu +4
Bound propagation based incomplete neural network verifiers such as CROWN are very efficient and can significantly accelerate branch-and-bound (BaB) based complete verification of…