• Sign in
  • Sign up
conf.researchr.org / Jiaxiang Liu
  • ASE 2019 profile
  • ESEC/FSE 2022 profile
  • ESEC/FSE 2023 profile
  • SPLASH 2022 profile
  • SPLASH 2023 profile
Jiaxiang Liu

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
xMon 16 Jun 23:21
using conf.researchr.org (v1.69.0)
Support page
Sign Up