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

researchr

You are not signed in
Sign in
Sign up

Zhe Zhao, Yedi Zhang, Guangke Chen, Fu Song, Taolue Chen, Jiaxiang Liu 0001. CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks. In Gagandeep Singh 0001, Caterina Urban, editors, Static Analysis - 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings. Volume 13790 of Lecture Notes in Computer Science, pages 449-473, Springer, 2022. [doi]

The following publications are possibly variants of this publication:

A Black-Box Adversarial Attack Method via Nesterov Accelerated Gradient and Rewiring Towards Attacking Graph Neural NetworksShu Zhao, Wenyu Wang, Ziwei Du, Jie Chen 0025, Zhen Duan. tbd, 9(6):1586-1597, December 2023. [doi]

Backdoor Attacks and Defenses for Deep Neural Networks in Outsourced Cloud EnvironmentsYanjiao Chen, Xueluan Gong, Qian Wang, Xing Di, Huayang Huang. network, 34(5):141-147, 2020. [doi]

Theil-Based Countermeasure against Interest Flooding Attacks for Named Data NetworksRui Hou, Min Han, Jing Chen, Wenbin Hu, Xiaobin Tan, Jiangtao Luo, Maode Ma. network, 33(3):116-121, 2019. [doi]

An AI-Enabled Framework to Defend Ingenious MDT-Based Attacks on the Emerging Zero Touch Cellular NetworksAneeqa Ijaz, Waseem Raza, Hasan Farooq, Marvin Manalastas, Ali Imran 0001. network, 38(1):228-237, January 2024. [doi]

runs on WebDSL