Towards automated safety vetting of smart contracts in decentralized applications

We propose VetSC, a novel UI-driven, program analysis guided model checking technique that can automatically extract contract semantics in DApps so as to enable targeted safety vetting. To facilitate model checking, we extract business model graphs from contract code that capture its intrinsic busin...

Full description

Saved in:
Bibliographic Details
Main Authors: DUAN, Yue, ZHAO, Xin, PAN, Yu, LI, Shucheng, LI, Minghao, XU, Fengyuan, ZHANG, Mu
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2022
Subjects:
Online Access:https://ink.library.smu.edu.sg/sis_research/8542
https://ink.library.smu.edu.sg/context/sis_research/article/9545/viewcontent/3548606.3559384_pvoa_cc_by.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English