conf.researchr.org / Jiaxiang Liu

Registered user since Sat 8 Jul 2017

Name:Jiaxiang Liu
Country:China
Affiliation:Shenzhen University

Contributions

SAS 2022 Author of CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks within the SAS-track
ESEC/FSE 2022 Author of MpBP: Verifying Robustness of Neural Networks with Multi-Path Bound Propagation within the Demonstrations-track
ASE 2019 Author of Verifying Arithmetic in Cryptographic C Programs within the Research Papers-track