Yedi Zhang

Postdoc at National University of Singapore

Email: yd.zhang@nus.edu.sg
zhangyd1@alumni.shanghaitech.edu.cn

Research Topics

Formal Methods
Automated Verification
Safety & Security of AI Systems

Now I am a Postdoc at National University of Singapore (NUS), working with Prof. Jin-Song Dong and Prof. Jun Sun. Before joining NUS, I received my PhD degree from School of Information Science and Technology (SIST) at ShanghaiTech University, advised by Prof. Fu Song. I also studied as a visiting Ph.D. student at Singapore Management University (Mar. 2022 to Mar. 2023), under the supervision of Prof. Jun Sun, and at Universität des Saarlandes (Oct. 2019 to Mar. 2020), under the supervision of Prof. Holger Hermanns. I received my Bachelor's degree from Beijing University of Posts and Telecommunications (BUPT).

My research is motivated by a simple goal: towards robust and verified AI Systems. More specifically, to develop theories and tools to aid the construction of certified AI systems, with rigorous and provable guarantees of safety and security.

News

2023/12 -- One conference paper is accepted by AAAI 2024.
2023/10 -- I have been selected as a mentee at F+Cube, an award-winning Future Female+ Faculty mentorship program.
2023/09 -- One conference paper is accepted by NDSS 2024.
2023/09 -- One conference paper is accepted by OOPSLA 2023.
2023/06 -- Get my PhD degree. Congrats to myself - Dr. Zhang!
2023/05 -- One conference paper is accepted by USENIX Security 2023.
2023/04 -- One conference paper is accepted by CAV 2023.
2022/10 -- I am awarded with 2022 National Scholarship for Doctoral Students!
2022/08 -- One journal paper is accepted by TOSEM 2022.
2022/07 -- One conference paper is accepted by ASE 2022.
2022/07 -- One conference paper is accepted by SAS 2022.
2022/03 -- I started my year-long visit at Singapore Management University, supervised by Prof. Jun Sun.

2021/04 -- One conference paper is accepted by CAV 2021.

2019/10 -- I visited Dependable Systems and Software group at Universität des Saarlandes.

2019/07 -- One paper accepted by IEEE Access 2019.

2019/02 -- Give an oral presentation of our work at AAAI 2019 at Hawaii, USA.

2018/10 -- One paper accepted by AAAI 2019.

Publications (show all by year)

SLMIA-SR: Speaker-Level Membership Inference Attacks against Speaker Recognition Systems
Guangke Chen, Yedi Zhang, Fu Song
Network and Distributed System Security Symposium (NDSS), 2024. [Code]
Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks
Pengfei Gao, Yedi Zhang, Fu Song, Taolue Chen, Francois-Xavier Standaert
OOPSLA, 2023.
QFA2SR: Query-Free Adversarial Transfer Attacks to Speaker Recognition Systems
Guangke Chen, Yedi Zhang, Zhe Zhao, Fu Song
USENIX Security, 2023. [Website]
QEBVerif: Quantization Error Bound Verification of Neural Networks
Yedi Zhang, Fu Song, Jun Sun

International Conference on Computer-Aided Verification (CAV), 2023. [Code]
Precise Quantitative Analysis of Binarized Neural Networks: A BDD-based Approach

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

ACM Transactions on Software Engineering and Methodology (TOSEM), 2023. [Code]
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
International Conference on Automated Software Engineering (ASE), 2022. [Code]
CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks
Zhe Zhao, Yedi Zhang, Guangke Chen, Fu Song, Taolue Chen, Jiaxiang Liu
International Static Analysis Symposium (SAS), 2022.
BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks
Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen
International Conference on Computer-Aided Verification (CAV), 2021. [Code]

Making Agents Abilities Explicit

Yedi Zhang, Fu Song, Taolue Chen

IEEE Access, 2019. [Code]

Probabilistic Alternating-Time Mu-Calculus

Fu Song, Yedi Zhang*, Taolue Chen, Yu Tang, Zhiwu Xu

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI), 2019. [Code] (Oral)
A model checker for PAMC (Probabilistic Alternating-Time Mu-Calculus) can also be found here.

Model Checking for Heterogeneous Multi-agent Systems (In Chinese)

Yedi Zhang, Fu Song

Journal of Software (JOS), 2018. (Presented on FMAC 2017)

Services

Program Committee: PRDC'2023
Reviewer: SEFM'2023, ATVA'2023, ATVA'2022

Awards

Outstanding Doctoral Graduates of Shanghai, 2023
Outstanding Doctoral Graduates of ShanghaiTech University, 2023
National Scholarship for Doctoral Students, 2022
Excellent Student at ShanghaiTech University, 2021
Excellent Student at ShanghaiTech University, 2020
CSC-IBM Excellent Chinese Student Scholarship, 2019
Merit Student at ShanghaiTech University, 2019
AAAI Travel Grant, 2019
ICM Meritorious Winner, 2016

Teaching

Teaching Assistant -- Theory of Computation, Fall 2020
Teaching Assistant -- Theory of Computation, Spring 2019.
Teaching Assistant -- Introduction to Programming, Fall 2018.