Follow
Palina Tolmach
Palina Tolmach
Verified email at e.ntu.edu.sg - Homepage
Title
Cited by
Cited by
Year
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
742021
Formal analysis of composable DeFi protocols
P Tolmach, Y Li, SW Lin, Y Liu
Financial Cryptography and Data Security. FC 2021 International Workshops …, 2021
192021
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
52022
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
22022
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
The system can't perform the operation now. Try again later.
Articles 1–7