• Login
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Browse

    All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    My Account

    LoginRegister

    Statistics

    View Usage StatisticsView Google Analytics Statistics

    A Static Analysis Approach for Ethereum Smart Contracts

    Thumbnail
    View/Open
    202111051.pdf (1.603Mb)
    Date
    2023
    Author
    Vaishnavi
    Metadata
    Show full item record
    Abstract
    The Ethereum blockchain market has grown in prominence in recent years, enablingthe daily trading of billions of dollars. Smart contracts are programs thatare written in Solidity language and are executed on the Ethereum blockchain.However, the execution of smart contracts handling ether currencies has led toissues and disputes since 2016. This study focuses on the vulnerabilities of smartcontracts on Ethereum. There are many tools available for detecting vulnerabilitiesin smart contracts. However, there is still room for research in this area,here in our study we have implemented five modules that are Arithmetic, Front-Running, Re-entrancy, Time Manipulation, and Unchecked Low-Level Calls, thatare intended to find security flaws listed under the DASP10 framework. We areable to examine contract behaviour and find potential security flaws by usingsymbolic execution. Performance and accuracy are the two metrics taken care ofthroughout the study. This study tries to improve smart contract security proceduresby detecting these vulnerabilities earlier before deploying them on theblockchain.
    URI
    http://drsr.daiict.ac.in//handle/123456789/1189
    Collections
    • M Tech Dissertations [923]

    Resource Centre copyright © 2006-2017 
    Contact Us | Send Feedback
    Theme by 
    Atmire NV
     

     


    Resource Centre copyright © 2006-2017 
    Contact Us | Send Feedback
    Theme by 
    Atmire NV