| A survey of smart contract formal specification and verification P Tolmach, Y Li, SW Lin, Y Liu, Z Li ACM Computing Surveys (CSUR) 54 (7), 1-38, 2021 | 74 | 2021 |
| Formal analysis of composable DeFi protocols P Tolmach, Y Li, SW Lin, Y Liu Financial Cryptography and Data Security. FC 2021 International Workshops …, 2021 | 19 | 2021 |
| Fair and accurate age prediction using distribution aware data curation and augmentation Y Cao, D Berend, P Tolmach, G Amit, M Levy, Y Liu, A Shabtai, Y Elovici Proceedings of the IEEE/CVF Winter Conference on Applications of Computer …, 2022 | 5 | 2022 |
| SolSEE: a source-level symbolic execution engine for solidity SW Lin, P Tolmach, Y Liu, Y Li Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022 | 2 | 2022 |
| Property-Based Automated Repair of DeFi Protocols P Tolmach, Y Li, SW Lin 37th IEEE/ACM International Conference on Automated Software Engineering, 1-5, 2022 | | 2022 |
| Out-of-distribution detection and generalization to enhance fairness in age prediction Y Cao, D Berend, P Tolmach, G Amit, M Levy, Y Liu, A Shabtai, Y Elovici | | 2020 |
| Fairness Matters-A Data-Driven Framework Towards Fair and High Performing Facial Recognition Systems. Y Cao, D Berend, P Tolmach, M Levy, G Amit, A Shabtai, Y Elovici, Y Liu | | 2020 |
Yang LiuNanyang Technological UniversityVerified email at ntu.edu.sg
