Vultron : towards secure smart contracts -- a runtime monitoring approach
Ethereum smart contracts are paving their way into the future of commerce and high stakes are placed upon the correct implementation of their specifications. However, in the history of Ethereum, several vulnerabilities have been exploited which compromised the trust and effectiveness of smart contra...
Saved in:
主要作者: | Yang, Xuan |
---|---|
其他作者: | Li Yi |
格式: | Final Year Project |
語言: | English |
出版: |
2019
|
主題: | |
在線閱讀: | http://hdl.handle.net/10356/78964 |
標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
機構: | Nanyang Technological University |
語言: | English |
相似書籍
-
Reducing smart contract runtime errors on the Ethereum blockchain
由: Siwapol Jumnongsaksub
出版: (2020) -
Designing a security evaluation tool for blockchain smart contracts
由: Han, Xing Jie
出版: (2019) -
On security and reliability of smart contracts: the applications of dynamic specification mining on solidity
由: Liu, Ye
出版: (2023) -
Securing smart contracts with formal verification and automated program repair
由: Tolmach, Palina
出版: (2023) -
Towards securing smart contracts systematically
由: NGUYEN, Duy Tai
出版: (2023)