About Me
I am currently a fourth-year Ph.D student in ShanghaiTech University (2019.09-today), majoring in Computer Science. I am a member of System and Software Security Lab (S3L) and advised by Prof. Fu Song, the PI of S3L.
I received my Bachelor's degree (2015.09-2019.06, major: Information Engineering) in South China University of Technology, Guangzhou. 💫
Research Interests
- Security and privacy of machine learning (e.g., voiceprint recognition and speech recognition)
- Security and privacy of multimedia (e.g., speech)
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.
- More
Publications
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks
ASE 2022, CCF-A
Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Min Zhang, Taulue Chen, and Jun Sun
ACROBAT: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks
SAS 2022, CCF-B
Zhe Zhao, Yedi Zhang, Guangke Chen, Fu Song, Taolue Chen and Jiaxiang Liu
AS2T: Arbitrary source-to-target adversarial attack on speaker recognition systems
IEEE Transactions on Dependable and Secure Computing (TDSC), CCF-A, IF=6.791
Guangke Chen, Zhe Zhao, Fu Song, Sen Chen, Lingling Fan, and Yang Liu
Towards Understanding and Mitigating Audio Adversarial Examples for Speaker Recognition
Under review of TDSC
Guangke Chen, Zhe Zhao, Fu Song, Sen Chen, Lingling Fan, Feng Wang, and Jiashui Wang
Turn Lemons into Lemonade: Using Adversarial Attack Methods to Detect Abnormal Examples
Under major revision of TDSC
Zhe Zhao, Guangke Chen, Tong Liu, Taishan Li, Fu Song, Jingyi Wang, and Jun Sun
Precise Quantitative Analysis of Binarized Neural Networks: A BDD-based Approach
Under major revision of TOSEM
Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, and Taolue Chen
SEC4SR: A Security Analysis Platform for Speaker Recognition
Preprint
Guangke Chen, Zhe Zhao, Fu Song, Sen Chen, Lingling Fan, and Yang Liu
Who is Real Bob? Adversarial Attacks on Speaker Recognition Systems
Oakland 2021, CCF-A, AR:115/952=12%
Guangke Chen, Sen Chen, Lingling Fan, Xiaoning Du, Zhe Zhao, Fu Song, and Yang Liu
[paper] [website] [code] [slide] [talk] [blog] [press-1] [press-2] [press-3]
Attack as Defense: Characterizing Adversarial Examples using Robustness
ISSTA 2021, CCF-A, AR=51/219=23%
Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, and Jun Sun
BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks
CAV 2021, CCF-A, AR=79/290=27%
Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, and Taolue Chen
Patent
Granted
- A deep learning-based approach for distinguishing abnormal speech | Xiaohui Feng, Guangke Chen, Qianhua He, Xiaolan Wu, Yanxiong Li | CN108766419B | 2020.10.27
- Method and apparatus for monitoring psychological stress with integration of pulse rate variability and sleep quality | Xiaofen Xing, Guangke Chen, Shiyao Jiang, Litao Lin, Donghua Chen | CN107874750B | 2020.01.10
Pending
- Adversarial example detection method based on robustness differences | Fu Song, Zhe Zhao, Guangke Chen | CN112381150A | 2021.02.19
- Adversarial example detection method based on attack cost | Fu Song, Zhe Zhao, Guangke Chen | CN112381152A | 2021.02.19
- Audio adversarial example defense based on speech acoustic feature compression | Fu Song, Guangke Chen, Zhe Zhao | CN114242083A | 2022.03.25
Education
- ShanghaiTech University, Shanghai, Ph.D Student
Sept 2019 - Now (GPA: 3.91/4.0) - South China University of Technology, Guangzhou, Bachelor's Degree
Sept 2015 - June 2019 (GPA: 3.77/4.0)
Services
- Program Committee Member:
- Sub-reviewer:
- The 33rd IEEE International Symposium on Software Reliability Engineering (ISSRE 2022)
- IEEE Transactions on Reliability (TR) 2022
- Teaching Assistant
- CS240 Algorithm Design and Analysis, ShanghaiTech University, 2020-2021, Spring Semester
Awards & Honors
- National Scholarship for Post Graduates, 2020.11.20, @ShanghaiTech
- Merit Student, 2020.12.01, @ShanghaiTech
- National Scholarship, Merit Student, 2018.10, @SCUT
- Outstanding conclusion of national College Students’ Innovation and Entrepreneurship Training Program, project leader, 2019.05, @SCUT
- National Encouragement scholarship, Merit Student, 2017.10, @SCUT
- Enterprise Scholarships, Merit Student, 2016.10, @SCUT