Publications

(2021). BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks. In CAV 2021, CCF-A.

(2021). Attack as Defense: Characterizing Adversarial Examples using Robustness. In ISSTA 2021, CCF-A.

Guangke Chen (2019). Who is Real Bob? Adversarial Attacks on Speaker Recognition Systems. In IEEE S&P, Oakland 2021, CCF-A.

PDF Code Slides Website Press