43 citations · 91 across the 6 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.CR2018
sCompile: Critical Path Identification and Analysis for Smart Contracts
Jialiang Chang, Bo Gao, Hao Xiao +3
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,…
cs.PL2018
Executable Operational Semantics of Solidity
Jiao Jiao, Shuanglong Kan, Shang-Wei Lin +3
Bitcoin has attracted everyone's attention and interest recently. Ethereum (ETH), a second generation cryptocurrency, extends Bitcoin's design by offering a Turing-complete program…