Towards automated safety vetting of smart contracts in decentralized applications

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:
decentralized apps
safety verification
semantics
smart contracts
Finance and Financial Management
Information Security
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

Internet

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

Similar Items