173 citations · 397 across the 28 of their papers we have counts for
4 papers · 1 filter
VeriFi: Towards Verifiable Federated Unlearning
Xiangshan Gao, Xingjun Ma, Jingyi Wang +5
Federated learning (FL) is a collaborative learning paradigm where participants jointly train a powerful model without sharing their private data. One desirable property for FL is…
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…
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…