CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks-Reference-Cited by-同舟云学术

CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks

Published:2022 Issue: Volume: Page:449-473
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Zhao Zhe,Zhang Yedi,Chen Guangke,Song Fu,Chen Taolue,Liu Jiaxiang

Publisher

Springer Nature Switzerland

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-22308-2_20

Reference69 articles.

1. Apollo: an open, reliable and secure software platform for autonomous driving systems. http://apollo.auto (2018)

2. Ashok, P., Hashemi, V., Kretínský, J., Mohr, S.: Deepabstract: neural network abstraction for accelerating verification. In: Proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, pp. 92–107 (2020)

3. Beckman, N.E., Nori, A.V., Rajamani, S.K., Simmons, R.J., Tetali, S.D., Thakur, A.V.: Proofs from tests. IEEE Trans. Softw. Eng. 36, 495–508 (2010)

4. Bu, L., Zhao, Z., Duan, Y., Song, F.: Taking care of the discretization problem: a comprehensive study of the discretization problem and a black-box adversarial attack in discrete integer domain. IEEE Trans. Dependable Secur. Comput. 19(5), 3200–3217 (2022)

5. Bunel, R., Lu, J., Turkaslan, I., Torr, P.H.S., Kohli, P., Kumar, M.P.: Branch and bound for piecewise linear neural network verification. J. Mach. Learn. Res. 21, 1–39 (2020)

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Unifying Syntactic and Semantic Abstractions for Deep Neural Networks;Lecture Notes in Computer Science;2024

2. On applying residual reasoning within neural network verification;Software and Systems Modeling;2023-11-16

3. Attack as Detection: Using Adversarial Attack Methods to Detect Abnormal Examples;ACM Transactions on Software Engineering and Methodology;2023-11-10

4. Towards robust neural networks via a global and monotonically decreasing robustness training strategy;Frontiers of Information Technology & Electronic Engineering;2023-10

5. Precise Quantitative Analysis of Binarized Neural Networks: A BDD-based Approach;ACM Transactions on Software Engineering and Methodology;2023-04-27