| 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 | 151 | 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 | 38 | 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 | 11 | 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 | 8 | 2022 |
| Property-based automated repair of defi protocols P Tolmach, Y Li, SW Lin Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 3 | 2022 |
| Securing smart contracts with formal verification and automated program repair P Tolmach Nanyang Technological University, 2023 | 1 | 2023 |
| 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
