All News

  • [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