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:
Main Author: | Yang, Xuan |
---|---|
Other Authors: | Li Yi |
Format: | Final Year Project |
Language: | English |
Published: |
2019
|
Subjects: | |
Online Access: | http://hdl.handle.net/10356/78964 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Nanyang Technological University |
Language: | English |
Similar Items
-
Designing a security evaluation tool for blockchain smart contracts
by: Han, Xing Jie
Published: (2019) -
Towards securing smart contracts systematically
by: NGUYEN, Duy Tai
Published: (2023) -
On security and reliability of smart contracts: the applications of dynamic specification mining on solidity
by: Liu, Ye
Published: (2023) -
Securing smart contracts with formal verification and automated program repair
by: Tolmach, Palina
Published: (2023) -
Runtime reconfigurable platform for embedded systems
by: Krishnamoorthy Baskaran
Published: (2008)