Dynamic slicing for deep neural networks
暂无分享,去创建一个
Yao Guo | Ziqi Zhang | Yuanchun Li | Yunxin Liu | Xiangqun Chen | Yuanchun Li | Yao Guo | Xiangqun Chen | Yunxin Liu | Ziqi Zhang
[1] Yuan Xie,et al. Neural Network Model Extraction Attacks in Edge Devices by Hearing Architectural Hints , 2019, ArXiv.
[2] Mingjie Sun,et al. Rethinking the Value of Network Pruning , 2018, ICLR.
[3] Gang Chen,et al. Model Slicing for Supporting Complex Analytics with Elastic Inference Cost and Resource Constraints , 2019, Proc. VLDB Endow..
[4] James Bailey,et al. Characterizing Adversarial Subspaces Using Local Intrinsic Dimensionality , 2018, ICLR.
[5] Song Bai,et al. Learning Transferable Adversarial Examples via Ghost Networks , 2018, AAAI.
[6] Srinivas Devadas,et al. Sanctum: Minimal Hardware Extensions for Strong Software Isolation , 2016, USENIX Security Symposium.
[7] Matthias Bethge,et al. Decision-Based Adversarial Attacks: Reliable Attacks Against Black-Box Machine Learning Models , 2017, ICLR.
[8] David W. Binkley,et al. Program slicing , 2008, 2008 Frontiers of Software Maintenance.
[9] Quanshi Zhang,et al. Visual interpretability for deep learning: a survey , 2018, Frontiers of Information Technology & Electronic Engineering.
[10] David A. Wagner,et al. Towards Evaluating the Robustness of Neural Networks , 2016, 2017 IEEE Symposium on Security and Privacy (SP).
[11] Li Fei-Fei,et al. Faster CryptoNets: Leveraging Sparsity for Real-World Encrypted Inference , 2018, ArXiv.
[12] Asaf Shabtai,et al. When Explainability Meets Adversarial Learning: Detecting Adversarial Examples using SHAP Signatures , 2019, 2020 International Joint Conference on Neural Networks (IJCNN).
[13] David Berthelot,et al. High Accuracy and High Fidelity Extraction of Neural Networks , 2020, USENIX Security Symposium.
[14] Aleksander Madry,et al. A Rotation and a Translation Suffice: Fooling CNNs with Simple Transformations , 2017, ArXiv.
[15] Joan Bruna,et al. Intriguing properties of neural networks , 2013, ICLR.
[16] Eugene H. Spafford,et al. Debugging with dynamic slicing and backtracking , 1993, Softw. Pract. Exp..
[17] Robert Nikolai Reith,et al. Efficiently Stealing your Machine Learning Models , 2019, WPES@CCS.
[18] Giovanni S. Alberti,et al. ADef: an Iterative Algorithm to Construct Adversarial Deformations , 2018, ICLR.
[19] Xiaodong Gu,et al. Deep API learning , 2016, SIGSOFT FSE.
[20] Wen-Chuan Lee,et al. NIC: Detecting Adversarial Samples with Neural Network Invariant Checking , 2019, NDSS.
[21] Matthias Bethge,et al. Foolbox v0.8.0: A Python toolbox to benchmark the robustness of machine learning models , 2017, ArXiv.
[22] Samuel Marchal,et al. PRADA: Protecting Against DNN Model Stealing Attacks , 2018, 2019 IEEE European Symposium on Security and Privacy (EuroS&P).
[23] Minyi Guo,et al. Adversarial Defense Through Network Profiling Based Path Extraction , 2019, 2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR).
[24] David Berthelot,et al. High-Fidelity Extraction of Neural Network Models , 2019, ArXiv.
[25] Swarat Chaudhuri,et al. AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation , 2018, 2018 IEEE Symposium on Security and Privacy (SP).
[26] Masahiro Fujita,et al. Program Slicing of Hardware Description Languages , 1999, CHARME.
[27] Jian Sun,et al. Deep Residual Learning for Image Recognition , 2015, 2016 IEEE Conference on Computer Vision and Pattern Recognition (CVPR).
[28] Junfeng Yang,et al. Formal Security Analysis of Neural Networks using Symbolic Intervals , 2018, USENIX Security Symposium.
[29] Aleksander Madry,et al. Towards Deep Learning Models Resistant to Adversarial Attacks , 2017, ICLR.
[30] Joseph Robert Horgan,et al. Dynamic program slicing , 1990, PLDI '90.
[31] Jonathon Shlens,et al. Explaining and Harnessing Adversarial Examples , 2014, ICLR.
[32] Xiaodong He,et al. A Multi-View Deep Learning Approach for Cross Domain User Modeling in Recommendation Systems , 2015, WWW.
[33] Song Han,et al. Learning both Weights and Connections for Efficient Neural Network , 2015, NIPS.
[34] Josep Silva,et al. A vocabulary of program slicing-based techniques , 2012, CSUR.
[35] Mykel J. Kochenderfer,et al. Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks , 2017, CAV.
[36] Sarfraz Khurshid,et al. Kato: A Program Slicing Tool for Declarative Specifications , 2007, 29th International Conference on Software Engineering (ICSE'07).
[37] Mark Harman,et al. ORBS: language-independent program slicing , 2014, SIGSOFT FSE.
[38] Seyed-Mohsen Moosavi-Dezfooli,et al. DeepFool: A Simple and Accurate Method to Fool Deep Neural Networks , 2015, 2016 IEEE Conference on Computer Vision and Pattern Recognition (CVPR).
[39] Fanglin Chen,et al. PrivacyStreams , 2017, Proc. ACM Interact. Mob. Wearable Ubiquitous Technol..
[40] Aniello Cimitile,et al. Conditioned program slicing , 1998, Inf. Softw. Technol..
[41] Jürgen Schmidhuber,et al. Multi-column deep neural network for traffic sign classification , 2012, Neural Networks.
[42] Xiangyu Zhang,et al. Precise dynamic slicing algorithms , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..
[43] Andrew Slavin Ross,et al. Improving the Adversarial Robustness and Interpretability of Deep Neural Networks by Regularizing their Input Gradients , 2017, AAAI.
[44] Xiangyu Zhang,et al. Channel Pruning for Accelerating Very Deep Neural Networks , 2017, 2017 IEEE International Conference on Computer Vision (ICCV).
[45] Xiaolin Hu,et al. Interpret Neural Networks by Identifying Critical Data Routing Paths , 2018, 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition.
[46] W. Brendel,et al. Foolbox: A Python toolbox to benchmark the robustness of machine learning models , 2017 .
[47] Andreas Podelski,et al. Reducing GUI test suites via program slicing , 2014, ISSTA 2014.
[48] CireşAnDan,et al. 2012 Special Issue , 2012 .
[49] Mark Harman,et al. Amorphous program slicing , 1997, Proceedings Fifth International Workshop on Program Comprehension. IWPC'97.
[50] Tribhuvanesh Orekondy,et al. Prediction Poisoning: Utility-Constrained Defenses Against Model Stealing Attacks , 2019, ArXiv.
[51] Jürgen Schmidhuber,et al. LSTM recurrent networks learn simple context-free and context-sensitive languages , 2001, IEEE Trans. Neural Networks.
[52] Xiaogang Wang,et al. Slicing Convolutional Neural Network for Crowd Video Understanding , 2016, 2016 IEEE Conference on Computer Vision and Pattern Recognition (CVPR).
[53] Song Han,et al. Deep Compression: Compressing Deep Neural Network with Pruning, Trained Quantization and Huffman Coding , 2015, ICLR.
[54] Wei-Yin Loh,et al. Classification and regression trees , 2011, WIREs Data Mining Knowl. Discov..
[55] Lei Ma,et al. DeepHunter: a coverage-guided fuzz testing framework for deep neural networks , 2019, ISSTA.
[56] Jingyi Wang,et al. Adversarial Sample Detection for Deep Neural Network through Model Mutation Testing , 2018, 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE).
[57] Tribhuvanesh Orekondy,et al. Knockoff Nets: Stealing Functionality of Black-Box Models , 2018, 2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR).
[58] Mark Harman,et al. A survey of empirical results on program slicing , 2004, Adv. Comput..
[59] Alberto Ferreira de Souza,et al. Copycat CNN: Stealing Knowledge by Persuading Confession with Random Non-Labeled Data , 2018, 2018 International Joint Conference on Neural Networks (IJCNN).
[60] Roman V. Yampolskiy. AI-Complete CAPTCHAs as Zero Knowledge Proofs of Access to an Artificially Intelligent System , 2012 .
[61] Ling Shao,et al. Adversarial Defense by Restricting the Hidden Space of Deep Neural Networks , 2019, 2019 IEEE/CVF International Conference on Computer Vision (ICCV).
[62] Keith Brian Gallagher,et al. Using Program Slicing in Software Maintenance , 1991, IEEE Trans. Software Eng..
[63] Siva Sai Yerubandi,et al. Differential Power Analysis , 2002 .
[64] David W. Binkley,et al. Interprocedural slicing using dependence graphs , 1990, TOPL.
[65] Suman Jana,et al. DeepTest: Automated Testing of Deep-Neural-Network-Driven Autonomous Cars , 2017, 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
[66] Frank Tip,et al. A survey of program slicing techniques , 1994, J. Program. Lang..
[67] Aleksander Madry,et al. Exploring the Landscape of Spatial Robustness , 2017, ICML.
[68] Yao Guo,et al. Humanoid: A Deep Learning-Based Approach to Automated Black-box Android App Testing , 2019, 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE).
[69] Ming-Wei Chang,et al. BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding , 2019, NAACL.
[70] Dumitru Erhan,et al. Going deeper with convolutions , 2014, 2015 IEEE Conference on Computer Vision and Pattern Recognition (CVPR).
[71] Bin Dong,et al. You Only Propagate Once: Accelerating Adversarial Training via Maximal Principle , 2019, NeurIPS.
[72] Sarfraz Khurshid,et al. Symbolic Execution for Deep Neural Networks , 2018, ArXiv.
[73] Rajiv Gupta,et al. Dynamic Slicing for Android , 2019, 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE).
[74] Divya Gopinath,et al. Property Inference for Deep Neural Networks , 2019, 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE).
[75] Hongyi Wu,et al. CHEETAH: An Ultra-Fast, Approximation-Free, and Privacy-Preserved Neural Network Framework based on Joint Obscure Linear and Nonlinear Computations , 2019, ArXiv.
[76] Mark Harman,et al. Machine Learning Testing: Survey, Landscapes and Horizons , 2019, IEEE Transactions on Software Engineering.
[77] Junfeng Yang,et al. DeepXplore: Automated Whitebox Testing of Deep Learning Systems , 2017, SOSP.
[78] Jianjun Zhao,et al. DeepStellar: model-based quantitative analysis of stateful deep learning systems , 2019, ESEC/SIGSOFT FSE.
[79] Mark Harman,et al. Amorphous program slicing , 2003, J. Syst. Softw..
[80] Quoc V. Le,et al. EfficientNet: Rethinking Model Scaling for Convolutional Neural Networks , 2019, ICML.
[81] Janusz W. Laski,et al. Dynamic Program Slicing , 1988, Inf. Process. Lett..
[82] Junfeng Yang,et al. Efficient Formal Safety Analysis of Neural Networks , 2018, NeurIPS.
[83] Nina Narodytska,et al. Simple Black-Box Adversarial Perturbations for Deep Networks , 2016, ArXiv.
[84] Ananthram Swami,et al. The Limitations of Deep Learning in Adversarial Settings , 2015, 2016 IEEE European Symposium on Security and Privacy (EuroS&P).
[85] Srinivas Devadas,et al. Intel SGX Explained , 2016, IACR Cryptol. ePrint Arch..
[86] Dan Boneh,et al. Slalom: Fast, Verifiable and Private Execution of Neural Networks in Trusted Hardware , 2018, ICLR.
[87] Michael Naehrig,et al. CryptoNets: applying neural networks to encrypted data with high throughput and accuracy , 2016, ICML 2016.