48 citations · 76 across the 17 of their papers we have counts for
3 papers · 1 filter
SkipFuzz: Active Learning-based Input Selection for Fuzzing Deep Learning Libraries
Hong Jin Kang, Pattarakrit Rattanukul, Stefanus Agus Haryono +4
Many modern software systems are enabled by deep learning libraries such as TensorFlow and PyTorch. As deep learning is now prevalent, the security of deep learning libraries is a…
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…