Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jiaxiang Liu
conf.researchr.org general profile
ASE 2019 profile
ESEC/FSE 2022 profile
ESEC/FSE 2023 profile
SPLASH 2022 profile
SPLASH 2023 profile
Registered user since Sat 8 Jul 2017
Name:
Jiaxiang Liu
Country:
China
Affiliation:
Shenzhen University
Contributions
2023
ESEC/FSE
Author of [Remote] llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Programs within the Demonstrations-track
Static Analysis Symposium
Author of Boosting Multi-Neuron Convex Relaxation for Neural Network Verification within the SAS 2023-track
2022
Static Analysis Symposium
Author of CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks within the SAS-track
ESEC/FSE
Author of MpBP: Verifying Robustness of Neural Networks with Multi-Path Bound Propagation within the Demonstrations-track
2019
ASE
Author of Verifying Arithmetic in Cryptographic C Programs within the Research Papers-track
Share
x
Wed 29 Nov 00:15
