48 citations · 72 across the 11 of their papers we have counts for
3 papers · 1 filter
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…
DifFuzz: Differential Fuzzing for Side-Channel Analysis
Shirin Nilizadeh, Yannic Noller, Corina S. Pasareanu
Side-channel attacks allow an adversary to uncover secret program data by observing the behavior of a program with respect to a resource, such as execution time, consumed memory or…