About me

I am a PhD candidate in the School of Computer Science and Engineering at Nanyang Technological University and Institute of High Performance Computing, Agency for Science, Technology and Research. I am advised by Liu Yang and Wei Qingsong

My research interests lie in the domain of software verification and program analysis in application to blockchain and smart contracts in particular. My current research projects are focused on formal analysis and automated repair of composable protocols in the field of decentralized finance (DeFi). My previous work also addressed scalability challenges in private blockchains.

I created the dataset of publications on smart contract formal specification and verification (and plan to update it very soon!).

Publications

• Property-Based Automated Repair of DeFi Protocols
  Palina Tolmach, Yi Li, and Shang-Wei Lin.
  In Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2022.


• SolSEE: A Source-Level Symbolic Execution Engine for Solidity
  Shang-Wei Lin, Palina Tolmach, Ye Liu, Yi Li.
  In Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 2022.


• Formal Analysis of Composable DeFi Protocols
  Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu.
  In Proceedings of the 1st Workshop on Decentralized Finance (DeFi), 2021.


• A Survey of Smart Contract Formal Specification and Verification
  Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu, Zengxiang Li.
  In ACM Computing Surveys, 2021.

Teaching

Teaching Assistance

• CE/CZ4153 Blockchain Technology, NTU
• CE/CZ2006 Software Engineering, NTU
• CE/CZ4067 Software Security, NTU

Student Co-Supervision

• Yushi Cao, Master of Science, NTU
• Jia Hang Cheng, FYP Student, NTU
• Mohamed Irfan Bin Shahul Hameed, FYP Student, NTU