Statistics
Publications
3
Citations
45
H-Index
3
Active since
2019
Affiliations
Shenzhen University(Current)
Jiaxiang Liu is an author at Shenzhen University specializing in hardware security, formal methods, and program analysis.
Publications per year
2019–2019
3
3
An Empirical Study on API-Misuse Bugs in Open-Source C Programs
Zuxing Gu, Jiecheng Wu, Jiaxiang Liu et al. · 2019 · 19 citations
Signed Cryptographic Program Verification with Typed CryptoLine
Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi et al. · 2019 · 16 citations · Full text
Verifying Arithmetic in Cryptographic C Programs
Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai et al. · 2019 · 10 citations
1–3 of 3