Towards securing smart contracts systematically

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...

Full description

Saved in:
Bibliographic Details
Main Author: NGUYEN, Duy Tai
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2023
Subjects:
Blockchain
Static Analysis
Dynamic Analysis
Smart Contract Security
Smart Contract Verification
Software Engineering
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

Internet

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

Similar Items