Automatic program analysis and verification and their applications in smart contracts
The success of Bitcoin since 2009 stimulates the development of other blockchain-based applications, such as Ethereum, a second generation of cryptocurrency which supports the revolutionary idea of smart contracts. An Ethereum smart contract is a computer program written in some domain-specific high...
Saved in:
Main Author: | Jiao, Jiao |
---|---|
Other Authors: | Lin Shang-Wei |
Format: | Thesis-Doctor of Philosophy |
Language: | English |
Published: |
Nanyang Technological University
2021
|
Subjects: | |
Online Access: | https://hdl.handle.net/10356/147268 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Nanyang Technological University |
Language: | English |
Similar Items
-
Smart contract analysis and verification
by: Qiu, Haoze
Published: (2020) -
Securing smart contracts with formal verification and automated program repair
by: Tolmach, Palina
Published: (2023) -
Smart contract development and blockchain technology application
by: Hoe, Eugene Liam Yew
Published: (2022) -
Analysis of smart contract development platforms
by: Huang, Shaohang
Published: (2022) -
Smart contract development and blockchain technology application (3)
by: Goh, Bryan Hong Xiang
Published: (2023)