Towards securing smart contracts systematically
Smart contracts are a groundbreaking technique that allows users to programmatically modify the state of the blockchain. They are essentially self-enforcing programs that are deployed and executed on top of the blockchain. In recent years, we have witnessed various smart contract incidents that led...
Saved in:
Main Author: | NGUYEN, Duy Tai |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2023
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/etd_coll/546 https://ink.library.smu.edu.sg/context/etd_coll/article/1544/viewcontent/GPIS_AY2019_PhD_Nguyen_Duy_Tai.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
SGUARD: Towards fixing vulnerable smart contracts automatically
by: NGUYEN, Tai D., et al.
Published: (2021) -
TOWARDS SECURE SMART CONTRACTS: A DEEP LEARNING APPROACH FOR DETECTING SECURITY THREATS
by: TAMER ABDELAZIZ ABDELMEGID MOHAMED
Published: (2024) -
A generalized formal semantic framework for smart contracts
by: JIAO, Jiao, et al.
Published: (2020) -
Towards automated safety vetting of smart contracts in decentralized applications
by: DUAN, Yue, et al.
Published: (2022) -
Smart contract development: Challenges and opportunities
by: ZOU, Weiqin, et al.
Published: (2021)