26 citations · 45 across the 7 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.CR2018★ 16 cited
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.SE2018
Automated Localization for Unreproducible Builds
Zhilei Ren, He Jiang, Jifeng Xuan +1
Reproducibility is the ability of recreating identical binaries under pre-defined build environments. Due to the need of quality assurance and the benefit of better detecting attac…