| 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 | 28 | 2019 |
| 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 | 22 | 2019 |
| 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 | 17 | 2019 |
| From diagrammatic confluence to modularity JP Jouannaud, J Liu Theoretical Computer Science 464, 20-34, 2012 | 16 | 2012 |
| 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 | 11 | 2022 |
| 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 | 10 | 2021 |
| 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 | 8 | 2022 |
| 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 | 8 | 2022 |
| Confluence by Critical Pair Analysis J Liu, N Dershowitz, JP Jouannaud | 8 | 2014 |
| Untyped Confluence in Dependent Type Theories A Assaf, G Dowek, JP Jouannaud, J Liu Proceedings Higher-Order Rewriting Workshop, 2016 | 7 | 2016 |
| Confluence: The unifying, expressive power of locality J Liu, JP Jouannaud Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi …, 2014 | 7 | 2014 |
| 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 | 6 | |
| 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 | 5 | 2022 |
| 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 | 5 | 2017 |
| 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 | 5 | 2016 |
| Automatic Certified Verification of Cryptographic Programs with COQCRYPTOLINE MH Tsai, YF Fu, X Shi, J Liu, BY Wang, BY Yang Cryptology ePrint Archive, 2022 | 4 | 2022 |
| 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 | 1 | 2023 |
| 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 | 1 | 2023 |
| 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 | 1 | 2022 |
Xiaomu SHIDirección de correo verificada de szu.edu.cn
