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 003 (CoRR, 2020)

Formal Analysis of Composable DeFi Protocols. - Palina Tolmach; Yi Li 008; Shang-Wei Lin 001; Yang Liu 003 (Financial Cryptography Workshops, 2021)

Property-Based Automated Repair of DeFi Protocols. - Palina Tolmach; Yi Li 008; Shang-Wei Lin 001 (ASE, 2022)

SolSEE: a source-level symbolic execution engine for solidity. - Shang-Wei Lin 001; Palina Tolmach; Ye Liu 012; Yi Li 008 (ESEC/SIGSOFT FSE, 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 003; Asaf Shabtai; Yuval Elovici (WACV, 2022)

A Survey of Smart Contract Formal Specification and Verification. - Palina Tolmach; Yi Li 008; Shangwei Lin 001; Yang Liu 003; Zengxiang Li (ACM Comput. Surv., 2022)

Securing smart contracts with formal verification and automated program repair - Palina Tolmach (2023)