DeepDyve: Dynamic Verification for Deep Neural Networks

DeepDyve: Dynamic Verification for Deep Neural Networks

21 September 2020

Yu Li

Papers citing "DeepDyve: Dynamic Verification for Deep Neural Networks"

8 / 8 papers shown

Title
Aegis: Mitigating Targeted Bit-flip Attacks against Deep Neural Networks Jialai Wang Ziyuan Zhang Meiqi Wang Han Qiu Tianwei Zhang Qi Li Zongpeng Li Tao Wei Chao Zhang AAML 22 20 0 27 Feb 2023
"Real Attackers Don't Compute Gradients": Bridging the Gap Between Adversarial ML Research and Practice Giovanni Apruzzese Hyrum S. Anderson Savino Dambra D. Freeman Fabio Pierazzi Kevin A. Roundy AAML 31 75 0 29 Dec 2022
Verifiable Obstacle Detection Ayoosh Bansal Hunmin Kim Simon Yu Bo-Yi Li N. Hovakimyan Marco Caccamo L. Sha 28 6 0 30 Aug 2022
Machine Learning for Intrusion Detection in Industrial Control Systems: Applications, Challenges, and Recommendations Muhammad Azmi Umer K. N. Junejo Muhammad Taha Jilani A. Mathur AI4CE 21 89 0 24 Feb 2022
Security for Machine Learning-based Software Systems: a survey of threats, practices and challenges Huaming Chen Muhammad Ali Babar AAML 42 22 0 12 Jan 2022
Quantization Backdoors to Deep Learning Commercial Frameworks Hua Ma Huming Qiu Yansong Gao Zhi-Li Zhang A. Abuadbba Minhui Xue Anmin Fu Jiliang Zhang S. Al-Sarawi Derek Abbott MQ 38 19 0 20 Aug 2021
Arithmetic-Intensity-Guided Fault Tolerance for Neural Network Inference on GPUs J. Kosaian K. V. Rashmi 38 33 0 19 Apr 2021
Adversarial Machine Learning at Scale Alexey Kurakin Ian Goodfellow Samy Bengio AAML 296 3,113 0 04 Nov 2016