Site Overlay

Multiple works on Solidity Smart Contracts published

By admin
  • Jiao Jiao, Shuanglong Kan, Shangwei Lin, David Sanan, Yang Liu and Jun Sun: “Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity”, S&P 2020.
  • Duy Tai Nguyen, Long H. Pham, Jun Sun, Yun Lin and Minh Quang Tran: “sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts”, ICSE 2020.
  • Jiao Jiao, Shang-Wei Lin, and Jun Sun: “A General Formal Semantic Framework for Smart Contracts”. FASE 2020.