Jiaxiang Liu

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 19

Top Topics

Signature Verification

Logical Equivalence

Top Venues

ESEC/SIGSOFT FSE

IACR Cryptol. ePrint Arch.

Publications

Jiaxiang Liu, Yunhan Xing, Xiaomu Shi, Fu Song, Zhiwu Xu, Zhong Ming
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks. ACM Trans. Softw. Eng. Methodol. 33 (5) (2024)
Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang
Certified Verification for Algebraic Abstraction. CAV (3) (2023)
Ruiling Chen, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Programs. ESEC/SIGSOFT FSE (2023)
Li-Chang Lai, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking. IACR Cryptol. ePrint Arch. 2023 (2023)
Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang
CoqCryptoLine: A Verified Model Checker with Certified Results. CAV (2) (2023)
Xuezhou Tang, Ye Zheng, Jiaxiang Liu
Boosting Multi-neuron Convex Relaxation for Neural Network Verification. SAS (2023)
Vincent Hwang, Jiaxiang Liu, Gregor Seiler, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
Verified NTT Multiplications for NISTPQC KEM Lattice Finalists: Kyber, SABER, and NTRU. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2022 (4) (2022)
Jiaxiang Liu, Yunhan Xing, Xiaomu Shi, Fu Song, Zhiwu Xu, Zhong Ming
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks. CoRR (2022)
Gilles Dowek, Gaspard Férey, Jean-Pierre Jouannaud, Jiaxiang Liu
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs. Math. Struct. Comput. Sci. 32 (7) (2022)
Ye Zheng, Jiaxiang Liu, Xiaomu Shi
MpBP: verifying robustness of neural networks with multi-path bound propagation. ESEC/SIGSOFT FSE (2022)
Ye Zheng, Xiaomu Shi, Jiaxiang Liu
Multi-path Back-propagation Method for Neural Network Verification. Int. J. Softw. Informatics 12 (4) (2022)
Ming-Hsien Tsai, Yu-Fu Fu, Xiaomu Shi, Jiaxiang Liu, Bow-Yaw Wang, Bo-Yin Yang
Automatic Certified Verification of Cryptographic Programs with COQCRYPTOLINE. IACR Cryptol. ePrint Arch. 2022 (2022)
Zhe Zhao, Yedi Zhang, Guangke Chen, Fu Song, Taolue Chen, Jiaxiang Liu
CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks. SAS (2022)
Xiaomu Shi, Yu-Fu Fu, Jiaxiang Liu, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver. CAV (2) (2021)
Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
Signed Cryptographic Program Verification with Typed CryptoLine. CCS (2019)
Zuxing Gu, Min Zhou, Jiecheng Wu, Yu Jiang, Jiaxiang Liu, Ming Gu
IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs. TASE (2019)
Zuxing Gu, Jiecheng Wu, Jiaxiang Liu, Min Zhou, Ming Gu
An Empirical Study on API-Misuse Bugs in Open-Source C Programs. COMPSAC (1) (2019)
Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
Verifying Arithmetic in Cryptographic C Programs. ASE (2019)
Jiaxiang Liu, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude. IEEE Trans. Ind. Electron. 64 (4) (2017)
Jiaxiang Liu, Jean-Pierre Jouannaud, Mizuhito Ogawa
Confluence of Layered Rewrite Systems. CSL (2015)
Jean-Pierre Jouannaud, Jiaxiang Liu, Mizuhito Ogawa
Confluence of Layered Rewrite Systems. CoRR (2015)
Jiaxiang Liu, Jean-Pierre Jouannaud
Confluence: The Unifying, Expressive Power of Locality. Specification, Algebra, and Software (2014)
Jiaxiang Liu, Nachum Dershowitz, Jean-Pierre Jouannaud
Confluence by Critical Pair Analysis. RTA-TLCA (2014)
Jean-Pierre Jouannaud, Jiaxiang Liu
From diagrammatic confluence to modularity. Theor. Comput. Sci. 464 (2012)