VPN: Verification of Poisoning in Neural Networks
- 16 December 2022
- book chapter
- Published by Springer Nature
- p. 3-14
Abstract
No abstract availableKeywords
All Related Versions
This publication has 13 references indexed in Scilit:
- A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretabilityComputer Science Review, 2020
- An Abstraction-Based Framework for Neural Network Verification2020
- STRIP2019
- The Marabou Framework for Verification and Analysis of Deep Neural Networks2019
- Neural Cleanse: Identifying and Mitigating Backdoor Attacks in Neural Networks2019
- BadNets: Evaluating Backdooring Attacks on Deep Neural NetworksIEEE Access, 2019
- Trojaning Attack on Neural Networks2018
- Detection of traffic signs in real-world images: The German traffic sign detection benchmark2013
- Evasion Attacks against Machine Learning at Test Time2013
- Gradient-based learning applied to document recognitionProceedings of the IEEE, 1998