All News

[2023.2] Invited as reviewer of ISCA INTERSPEECH 2023. Look forward to the review experience in speech community. 😄
[2022.12] Awarded with Merit Student in ShanghaiTech.
[2022.11] Our paper 'Towards Understanding and Mitigating Audio Adversarial Examples for Speaker Recognition' accepted by IEEE Transactions on Dependable and Secure Computing (TDSC)
[2022.9.23] Happy and honor to become part of the Artifact Evaluation Committee of Usenix Security'23 and help to promote better reproducibility in Security research. 😄
[2022.9.7] I chaired the Session 8 of ICICS 2022. Quite an interesting experience. 😄
[2022.8] Our paper 'Precise Quantitative Analysis of Binarized Neural Networks: A BDD-based Approach' accepted by TOSEM.
[2022.7] Our paper 'QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks' accepted by ASE 2022.
[2022.7] Our paper 'ACROBAT: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks' accepted by SAS 2022.
[2022.7] Our paper 'AS2T: Arbitrary Source-To-Target Adversarial Attack on Speaker Recognition Systems' accepted by IEEE Transactions on Dependable and Secure Computing (TDSC)
[2021.9] I serve as Technical Program Committee Member of ICICS 2022. It is a CCF-C venue, welcome to submit your paper! 😄
[2021.4] Our paper 'Attack as Defense: Characterizing Adversarial Examples using Robustness' accepted by ISSTA 2021. Congratulations to Zhe Zhao.
[2021.4] Our paper 'BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks' accepted by CAV 2021. Congratulations to Yedi Zhang.
[2021.3] I serve as Technical Program Committee Member of ICICS 2021. It is a CCF-C venue, welcome to submit your paper! 😄
[2020.11] I am awarded with National Scholarship for Post Graduates in ShanghaiTech.
[2020.11] I am awarded with Merit Student in ShanghaiTech.
[2020.4] Our paper 'Who is Real Bob? Adversarial Attacks on Speaker Recognition Systems' accepted by S&P 2021. Note: first author.
More