Follow
Jiaxiang LIU
Jiaxiang LIU
Verified email at szu.edu.cn - Homepage
Title
Cited by
Cited by
Year
Signed cryptographic program verification with typed cryptoline
YF Fu, J Liu, X Shi, MH Tsai, BY Wang, BY Yang
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
282019
An Empirical Study on API-Misuse Bugs in Open-Source C Programs
Z Gu, J Wu, J Liu, M Zhou, M Gu
2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC …, 2019
212019
Verifying Arithmetic in Cryptographic C Programs
J Liu, X Shi, MH Tsai, BY Wang, BY Yang
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
172019
From diagrammatic confluence to modularity
JP Jouannaud, J Liu
Theoretical Computer Science 464, 20-34, 2012
162012
Verified NTT Multiplications for NISTPQC KEM Lattice Finalists: Kyber, SABER, and NTRU
V Hwang, J Liu, G Seiler, X Shi, MH Tsai, BY Wang, BY Yang
IACR Transactions on Cryptographic Hardware and Embedded Systems, 718-750, 2022
112022
CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver
X Shi, YF Fu, J Liu, MH Tsai, BY Wang, BY Yang
International Conference on Computer Aided Verification, 149-171, 2021
102021
Confluence of layered rewrite systems
J Liu, JP Jouannaud, M Ogawa
9*2015
CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks
Z Zhao, Y Zhang, G Chen, F Song, T Chen, J Liu
International Static Analysis Symposium, 449-473, 2022
82022
Abstraction and refinement: Towards scalable and exact verification of neural networks
J Liu, Y Xing, X Shi, F Song, Z Xu, Z Ming
ACM Transactions on Software Engineering and Methodology, 2022
82022
Confluence by Critical Pair Analysis
J Liu, N Dershowitz, JP Jouannaud
82014
Untyped Confluence in Dependent Type Theories
A Assaf, G Dowek, JP Jouannaud, J Liu
Proceedings Higher-Order Rewriting Workshop, 2016
72016
Confluence: The unifying, expressive power of locality
J Liu, JP Jouannaud
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi …, 2014
72014
Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude
J Liu, M Zhou, X Song, M Gu, J Sun
IEEE Transactions on Industrial Electronics 64 (4), 3239-3249, 2017
52017
Confluence in untyped higher-order theories. draft hal-, INRIA, january 2019
G Dowek, JP Jouannaud, J Liu
Full version of a work presented at HOR, 2016
52016
Untyped confluence in dependent type theories. draft hal-01515505, INRIA, january 2018. presented at HOR 2016, Porto
A Assaf, G Dowek, JP Jouannaud, J Liu
5
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs
G Dowek, G Férey, JP Jouannaud, J Liu
Mathematical Structures in Computer Science 32 (7), 898-933, 2022
42022
Automatic Certified Verification of Cryptographic Programs with COQCRYPTOLINE
MH Tsai, YF Fu, X Shi, J Liu, BY Wang, BY Yang
Cryptology ePrint Archive, 2022
42022
Certified Verification for Algebraic Abstraction
MH Tsai, YF Fu, J Liu, X Shi, BY Wang, BY Yang
International Conference on Computer Aided Verification, 329-349, 2023
12023
Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking
LC Lai, J Liu, X Shi, MH Tsai, BY Wang, BY Yang
Cryptology ePrint Archive, 2023
12023
MpBP: verifying robustness of neural networks with multi-path bound propagation
Y Zheng, J Liu, X Shi
Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022
12022
The system can't perform the operation now. Try again later.
Articles 1–20