Executable Operational Semantics of Solidity. - Jiao Jiao 002; Shuanglong Kan; Shang-Wei Lin 001; David Sanán; Yang Liu 003; Jun Sun 001 (CoRR, 2018)

A Generalized Formal Semantic Framework for Smart Contracts. - Jiao Jiao 002; Shang-Wei Lin 001; Jun Sun 001 (FASE, 2020)

Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity. - Jiao Jiao 002; Shuanglong Kan; Shang-Wei Lin 001; David Sanán; Yang Liu 003; Jun Sun 001 (SP, 2020)

Automatic program analysis and verification and their applications in smart contracts - Jiao Jiao 002 (2021)