22 citations · 47 across the 12 of their papers we have counts for
3 papers · 1 filter
An Overview of Structural Coverage Metrics for Testing Neural Networks
Muhammad Usman, Youcheng Sun, Divya Gopinath +3
Deep neural network (DNN) models, including those used in safety-critical domains, need to be thoroughly tested to ensure that they can reliably perform well in different scenarios…
VPN: Verification of Poisoning in Neural Networks
Youcheng Sun, Muhammad Usman, Divya Gopinath +1
Neural networks are successfully used in a variety of applications, many of them having safety and security concerns. As a result researchers have proposed formal verification tech…
AntidoteRT: Run-time Detection and Correction of Poison Attacks on Neural Networks
Muhammad Usman, Youcheng Sun, Divya Gopinath +1
We study backdoor poisoning attacks against image classification networks, whereby an attacker inserts a trigger into a subset of the training data, in such a way that at test time…