Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity.

Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sann, Yang Liu, Jun Sun

Browse the full SP paper archive.