Folgen
Palina Tolmach
Palina Tolmach
Bestätigte E-Mail-Adresse bei e.ntu.edu.sg - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1432021
Formal analysis of composable DeFi protocols
P Tolmach, Y Li, SW Lin, Y Liu
Financial Cryptography and Data Security. FC 2021 International Workshops …, 2021
372021
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
62022
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–8