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:
主要作者: | NGUYEN, Duy Tai |
---|---|
格式: | text |
語言: | English |
出版: |
Institutional Knowledge at Singapore Management University
2023
|
主題: | |
在線閱讀: | 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 |
標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
機構: | Singapore Management University |
語言: | English |
相似書籍
-
SGUARD: Towards fixing vulnerable smart contracts automatically
由: NGUYEN, Tai D., et al.
出版: (2021) -
TOWARDS SECURE SMART CONTRACTS: A DEEP LEARNING APPROACH FOR DETECTING SECURITY THREATS
由: TAMER ABDELAZIZ ABDELMEGID MOHAMED
出版: (2024) -
A generalized formal semantic framework for smart contracts
由: JIAO, Jiao, et al.
出版: (2020) -
Towards automated safety vetting of smart contracts in decentralized applications
由: DUAN, Yue, et al.
出版: (2022) -
Smart contract development: Challenges and opportunities
由: ZOU, Weiqin, et al.
出版: (2021)