Palina Tolmach

According to our database, Palina Tolmach authored at least 7 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Securing smart contracts with formal verification and automated program repair

Palina Tolmach

PhD thesis, 2023

2022

A Survey of Smart Contract Formal Specification and Verification.

Palina Tolmach, Yi Li, Shangwei Lin, Yang Liu, Zengxiang Li

ACM Comput. Surv., 2022

Fair and accurate age prediction using distribution aware data curation and augmentation.

Yushi Cao, David Berend, Palina Tolmach, Guy Amit, Moshe Levy, Yang Liu, Asaf Shabtai, Yuval Elovici

Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2022

SolSEE: a source-level symbolic execution engine for solidity.

Shang-Wei Lin, Palina Tolmach, Ye Liu, Yi Li

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Property-Based Automated Repair of DeFi Protocols.

Palina Tolmach, Yi Li, Shang-Wei Lin

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

2021

Formal Analysis of Composable DeFi Protocols.

Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu

Proceedings of the Financial Cryptography and Data Security. FC 2021 International Workshops, 2021

2020

Fairness Matters - A Data-Driven Framework Towards Fair and High Performing Facial Recognition Systems.

Yushi Cao, David Berend, Palina Tolmach, Moshe Levy, Guy Amit, Asaf Shabtai, Yuval Elovici, Yang Liu

CoRR, 2020