Palina Tolmach

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 8

Top Topics

Specification Languages

Object Oriented Design

Execution Engine

Process Algebra

Top Venues

Financial Cryptography Workshops

ACM Comput. Surv.

ESEC/SIGSOFT FSE

Publications

Shang-Wei Lin, Palina Tolmach, Ye Liu, Yi Li
SolSEE: a source-level symbolic execution engine for solidity. ESEC/SIGSOFT FSE (2022)
Palina Tolmach, Yi Li, Shangwei Lin, Yang Liu, Zengxiang Li
A Survey of Smart Contract Formal Specification and Verification. ACM Comput. Surv. 54 (7) (2022)
Yushi Cao, David Berend, Palina Tolmach, Guy Amit, Moshe Levy, Yang Liu, Asaf Shabtai, Yuval Elovici
Fair and accurate age prediction using distribution aware data curation and augmentation. WACV (2022)
Palina Tolmach, Yi Li, Shang-Wei Lin
Property-Based Automated Repair of DeFi Protocols. ASE (2022)
Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu
Formal Analysis of Composable DeFi Protocols. CoRR (2021)
Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu
Formal Analysis of Composable DeFi Protocols. Financial Cryptography Workshops (2021)
Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu, Zengxiang Li
A Survey of Smart Contract Formal Specification and Verification. CoRR (2020)
Yushi Cao, David Berend, Palina Tolmach, Moshe Levy, Guy Amit, Asaf Shabtai, Yuval Elovici, Yang Liu
Fairness Matters - A Data-Driven Framework Towards Fair and High Performing Facial Recognition Systems. CoRR (2020)