Zhe Zhao

According to our database, Zhe Zhao authored at least 15 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Attack as Detection: Using Adversarial Attack Methods to Detect Abnormal Examples.

Zhe Zhao, Guangke Chen, Tong Liu, Taishan Li, Fu Song, Jingyi Wang, Jun Sun

ACM Trans. Softw. Eng. Methodol., March, 2024

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency.

Zongxin Liu, Zhe Zhao, Fu Song, Jun Sun, Pengfei Yang, Xiaowei Huang, Lijun Zhang

CoRR, 2024

2023

Precise Quantitative Analysis of Binarized Neural Networks: A BDD-based Approach.

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

ACM Trans. Softw. Eng. Methodol., May, 2023

Towards Understanding and Mitigating Audio Adversarial Examples for Speaker Recognition.

Guangke Chen, Zhe Zhao, Fu Song, Sen Chen, Lingling Fan, Feng Wang, Jiashui Wang

IEEE Trans. Dependable Secur. Comput., 2023

QFA2SR: Query-Free Adversarial Transfer Attacks to Speaker Recognition Systems.

Guangke Chen, Yedi Zhang, Zhe Zhao, Fu Song

Proceedings of the 32nd USENIX Security Symposium, 2023

2022

Taking Care of the Discretization Problem: A Comprehensive Study of the Discretization Problem and a Black-Box Adversarial Attack in Discrete Integer Domain.

Lei Bu, Zhe Zhao, Yuchao Duan, Fu Song

IEEE Trans. Dependable Secur. Comput., 2022

QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks.

Yedi Zhang, Zhe Zhao, Fu Song, Min Zhang, Taolue Chen, Jun Sun

CoRR, 2022

AS2T: Arbitrary Source-To-Target Adversarial Attack on Speaker Recognition Systems.

Guangke Chen, Zhe Zhao, Fu Song, Sen Chen, Lingling Fan, Yang Liu

CoRR, 2022

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

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

Proceedings of the Static Analysis - 29th International Symposium, 2022

QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks.

Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Min Zhang, Taolue Chen, Jun Sun

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

2021

SEC4SR: A Security Analysis Platform for Speaker Recognition.

Guangke Chen, Zhe Zhao, Fu Song, Sen Chen, Lingling Fan, Yang Liu

CoRR, 2021

Who is Real Bob? Adversarial Attacks on Speaker Recognition Systems.

Guangke Chen, Sen Chen, Lingling Fan, Xiaoning Du, Zhe Zhao, Fu Song, Yang Liu

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

Attack as defense: characterizing adversarial examples using robustness.

Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, Jun Sun

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

BDD4BNN: A BDD-Based Quantitative Analysis Framework for Binarized Neural Networks.

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

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2019

Things You May Not Know About Adversarial Example: A Black-box Adversarial Image Attack.

Yuchao Duan, Zhe Zhao, Lei Bu, Fu Song

CoRR, 2019