kirancodes.me
To Proof Maintenance & Beyond!

S-gram: towards semantic-aware security auditing for Ethereum smart contracts

Han Liu, Chao Liu, Wenqi Zhao, Yu Jiang, Jiaguang Sun

Abstract

Smart contracts, as a promising and powerful application on the Ethereum blockchain, have been growing rapidly in the past few years. Since they are highly vulnerable to different forms of attacks, their security becomes a top priority. However, existing security auditing techniques are either limited in fnding vulnerabilities (rely on pre-defned bug paterns) or very expensive (rely on program analysis), thus are insufcient for Ethereum.

BibTeX
@inproceedings{Liu-al:ASE18,
  author    = {Han Liu and
               Chao Liu and
               Wenqi Zhao and
               Yu Jiang and
               Jiaguang Sun},
  title     = {S-gram: towards semantic-aware security auditing for Ethereum smart contracts},
  booktitle = {ASE},
  pages     = {814--819},
  publisher = {{ACM}},
  year      = {2018},
}

Related papers