Smart contract repair
Smart contracts are automated or self-enforcing contracts that can be used to exchange assets without having to place trust in third parties. Many commercial transactions use smart contracts due to their potential benefits in terms of secure peer-to-peer transactions independent of external parties....
Saved in:
Main Authors: | YU, Xiao Liang, AL-BATAINEH, Omar, LO, David, ROYCHOUDHURY, Abhik |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2020
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/5623 https://ink.library.smu.edu.sg/context/sis_research/article/6626/viewcontent/SmartContractRepair_av.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
Smart Contract Repair
by: Yu, Xiao Liang, et al.
Published: (2023) -
Towards securing smart contracts systematically
by: NGUYEN, Duy Tai
Published: (2023) -
Defining smart contract defects on Ethereum
by: CHEN, Jiachi, et al.
Published: (2022) -
Verification assisted gas reduction for smart contracts
by: GAO, Bo, et al.
Published: (2021) -
A generalized formal semantic framework for smart contracts
by: JIAO, Jiao, et al.
Published: (2020)