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
1482021
Formal analysis of composable DeFi protocols
P Tolmach, Y Li, SW Lin, Y Liu
Financial Cryptography and Data Security. FC 2021 International Workshops …, 2021
382021
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
102022
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
82022
Property-based automated repair of defi protocols
P Tolmach, Y Li, SW Lin
Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022
32022
Securing smart contracts with formal verification and automated program repair
P Tolmach
Nanyang Technological University, 2023
12023
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–8