Smart contract analysis and verification
As smart contracts being used by more and more industries, security and correctness of them are becoming more important than ever. There have been many security analysis tools for Solidity language, a language for building smart contracts. However, none of them enables the user to provide informatio...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Final Year Project |
| Language: | English |
| Published: |
Nanyang Technological University
2020
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/10356/138788 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Nanyang Technological University |
| Language: | English |