Please use this identifier to cite or link to this item: https://hdl.handle.net/10356/138788
Title: Smart contract analysis and verification
Authors: Qiu, Haoze
Keywords: Engineering::Computer science and engineering::Software::Programming languages
Issue Date: 2020
Publisher: Nanyang Technological University
Abstract: 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 information about properties the contract is expected to satisfy. This project is our attempt to build a security analysis tool for Solidity, $solv$, that incorporates property declaration given by the user as special comments in the source file. The first part of this project involves building a framework for general property checking in which specific properties can be easily added. After that, specific properties are defined and implemented.
URI: https://hdl.handle.net/10356/138788
Fulltext Permission: restricted
Fulltext Availability: With Fulltext
Appears in Collections:SCBE Student Reports (FYP/IA/PA/PI)

Files in This Item:
File Description SizeFormat 
[Qiu Haoze]Amended_FYP_Final_Report.pdf
  Restricted Access
1.22 MBAdobe PDFView/Open

Page view(s) 50

499
Updated on Feb 5, 2023

Download(s) 50

64
Updated on Feb 5, 2023

Google ScholarTM

Check

Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.