kirancodes.me
To Proof Maintenance & Beyond!

Making smart contract development more secure and easier

Meng Ren, Fuchen Ma, Zijing Yin, Ying Fu, Huizhong Li, Wanli Chang, Yu Jiang

Abstract

With the rapid development of distributed applications, smart contracts have attracted more and more developers' attentions. However, developers or domain experts have different levels of familiarity with specific programming languages, like Solidity, and those vulnerabilities hidden in the code would be exploited and result in huge property losses. Existing auxiliary tools lack security considerations. Most of them only provide word completion based on fuzzy search and detection services for limited types of vulnerabilities, which results in the manpower waste during coding and potential vulnerability threats after deployment.

BibTeX
@inproceedings{Ren-al:FSE21,
  author    = {Meng Ren and
               Fuchen Ma and
               Zijing Yin and
               Ying Fu and
               Huizhong Li and
               Wanli Chang and
               Yu Jiang},
  title     = {Making smart contract development more secure and easier},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {1360--1370},
  publisher = {{ACM}},
  year      = {2021},
}

Related papers