All News

  • [2022.7] Our paper 'QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks' accepted by ASE 2022 (CCF-A).
  • [2022.7] Our paper 'ACROBAT: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks' accepted by SAS 2022 (CCF-B).
  • [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, CCF-A, IF=6.791)
  • [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 (CCF-A). Congratulations to Zhe Zhao.
  • [2021.4] Our paper 'BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks' accepted by CAV 2021 (CCF-A). 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 (CCF-A). Note: first author.paper 'Who is Real Bob? Adversarial Attacks on Speaker Recognition Systems' accepted by S&P 2021 (CCF-A). Note: first author.