Jiaxiang LIU
Shenzhen University
H-index: 8
Asia-China
Top articles of Jiaxiang LIU
llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Programs
2023/11/30
Jiaxiang Liu
H-Index: 4
Boosting Multi-neuron Convex Relaxation for Neural Network Verification
2023/10/22
Jiaxiang Liu
H-Index: 4
CoqCryptoLine: A Verified Model Checker with Certified Results
2023/7/17
Yu-Fu Fu
H-Index: 1
Jiaxiang Liu
H-Index: 4
Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking
Cryptology ePrint Archive
2023
Jiaxiang Liu
H-Index: 4
CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks
2022/12/2
MpBP: verifying robustness of neural networks with multi-path bound propagation
2022/11/7
Jiaxiang Liu
H-Index: 4
Multi-path Back-propagation Method for Neural Network Verification.
Int. J. Softw. Informatics
2022/10/1
Jiaxiang Liu
H-Index: 4
Verified NTT Multiplications for NISTPQC KEM Lattice Finalists: Kyber, SABER, and NTRU
IACR Transactions on Cryptographic Hardware and Embedded Systems
2022/8/31
Jiaxiang Liu
H-Index: 4
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs
Mathematical Structures in Computer Science
2022/8
Jiaxiang Liu
H-Index: 4
Automatic Certified Verification of Cryptographic Programs with COQCRYPTOLINE
Cryptology ePrint Archive
2022
Yu-Fu Fu
H-Index: 1
Jiaxiang Liu
H-Index: 4
Abstraction and refinement: Towards scalable and exact verification of neural networks
ACM Transactions on Software Engineering and Methodology
2022
CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver
2021
Yu-Fu Fu
H-Index: 1
Jiaxiang Liu
H-Index: 4
Confluence of Non-Terminating Left-Linear Higher-Order Rewrite Theories
2021/2/2
Jiaxiang Liu
H-Index: 4