sCompile: Critical path identification and analysis for smart contracts
Ethereum smart contracts are an innovation built on top of the blockchain technology, which provides a platform for automatically executing contracts in an anonymous, distributed, and trusted way. The problem is magnified by the fact that smart contracts, unlike ordinary programs, cannot be patched...
Saved in:
Main Authors: | CHANG, Jialiang, GAO, Bo, XIAO, Hao, SUN, Jun, CAI, Yan, YANG, Zijiang |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2019
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/4641 https://ink.library.smu.edu.sg/context/sis_research/article/5644/viewcontent/Chang2019_Chapter_SCompileCriticalPathIdentifica.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
Verification assisted gas reduction for smart contracts
by: GAO, Bo, et al.
Published: (2021) -
Automatic identification of crash-inducing smart contracts
by: NI, Chao, et al.
Published: (2023) -
Smart contract repair
by: YU, Xiao Liang, et al.
Published: (2020) -
Smart Contract Repair
by: Yu, Xiao Liang, et al.
Published: (2023) -
SpecTest: Specification-based compiler testing
by: SCHUMI, Richard, et al.
Published: (2021)