| 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 | 29 | 2019 |
| CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver X Shi, YF Fu, J Liu, MH Tsai, BY Wang, BY Yang Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 11 | 2021 |
| autofz: Automated Fuzzer Composition at Runtime YF Fu, J Lee, T Kim 32nd USENIX Security Symposium (USENIX Security 23), 2023 | 4 | 2023 |
| 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 |
| CoqCryptoLine: A Verified Model Checker with Certified Results MH Tsai, YF Fu, J Liu, X Shi, BY Wang, BY Yang International Conference on Computer Aided Verification, 227-240, 2023 | | 2023 |
