Zhe Zhao

2022

2022-10 Win 2nd Place Prize in MLSec Face Recognition Challenge.

2022-07 Our paper on using adversarial attacks to accelerate neural network verification is accepted by SAS 2022.

2022-07 Our paper "QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks" is accepted by ASE 2022.

2022-04 Serve on the Artifact Evaluation Committee (AEC) of OSDI, Usenix ATC and ISSTA 2022.
2021

2021-12 Awarded China national scholarship.

2021-12 Win Merit Prize in OPPO 2021 Security AI Challenge.

2021-06 Win the 3rd place in ACM MM 2021 Robust Logo Detection Competition among 36489 participating teams.

2021-06 Our paper about black-box adversarial attack and discretization problem is accepted by TDSC.

2021-04 Our paper "Attack as Defense: Characterizing Adversarial Examples using Robustness" is accepted by ISSTA 2021.

2021-04 Our paper "BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks" is accepted by CAV 2021. Congratulations to Yedi.

2021-04 Win the 3rd place in CVPR2021 Security AI Challenger Track1: White-box Adversarial Attacks on ML Defense Models. This competition is part of AML-CV Workshop at CVPR 2021.