Zhaodi Zhang

11 papers A* 2A 2Journal 7

Year	Rank	Type	Title / Venue / Authors
2023	A	`conf`	A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation. ISSTA Zhiyi Xue, Si Liu, Zhaodi Zhang, Yiting Wu, Min Zhang
2023	J	`jnl`	A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation. CoRR Zhiyi Xue, Si Liu, Zhaodi Zhang, Yiting Wu, Min Zhang
2023	A*	`conf`	Boosting Verified Training for Robust Image Classifications via Abstraction. CVPR Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang
2023	J	`jnl`	Boosting Verified Training for Robust Image Classifications via Abstraction. CoRR Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang
2023	J	`jnl`	Robustness Verification of Swish Neural Networks Embedded in Autonomous Driving Systems. IEEE Trans. Comput. Soc. Syst. Zhaodi Zhang, Jing Liu, Guanjun Liu, Jiacun Wang, John Zhang
2022	J	`jnl`	DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation. CoRR Yiting Wu, Zhaodi Zhang, Zhiyi Xue, Si Liu, Min Zhang
2022	J	`jnl`	Efficient Robustness Verification of the Deep Neural Networks for Smart IoT Devices. Comput. J. Zhaodi Zhang, Jing Liu, Min Zhang, Haiying Sun
2022	A*	`conf`	Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks. ASE Zhaodi Zhang, Yiting Wu, Si Liu, Jing Liu, Min Zhang
2022	J	`jnl`	Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks. CoRR Zhaodi Zhang, Yiting Wu, Si Liu, Jing Liu, Min Zhang
2021	A	`conf`	Eager Falsification for Accelerating Robustness Verification of Deep Neural Networks. ISSRE Xingwu Guo, Wenjie Wan, Zhaodi Zhang, Min Zhang, Fu Song, Xuejun Wen
2020	J	`jnl`	Accelerating Robustness Verification of Deep Neural Networks Guided by Target Labels. CoRR Wenjie Wan, Zhaodi Zhang, Yiwei Zhu, Min Zhang, Fu Song

2025 Best paper conf

Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.

CheckMATE

Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda

2026 Best paper preprint

ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.

arXiv

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski