A Survey of Tools for Analyzing Ethereum Smart Contracts

@article{Angelo2019ASO,
  title={A Survey of Tools for Analyzing Ethereum Smart Contracts},
  author={Monika Di Angelo and Gernot Salzer},
  journal={2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON)},
  year={2019},
  pages={69-78}
}
  • Monika Di Angelo, Gernot Salzer
  • Published in
    IEEE International Conference…
    2019
  • Computer Science
  • Smart contracts are at the heart of many decentralized applications, encapsulating core parts of the business logic. They handle the exchange of valuable assets like crypto-currencies or tokens in a transparent, decentralized manner. Being computer programs, they are also prone to programming errors, which have already lead to spectacular losses. Therefore, methods and tools have emerged to support the development of secure smart contracts and to aid the analysis of deployed ones. Assessing the… CONTINUE READING

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 10 CITATIONS

    Reentrancy Vulnerability Identification in Ethereum Smart Contracts

    Smart Contract: Attacks and Protections

    VIEW 2 EXCERPTS
    CITES METHODS & BACKGROUND

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 58 REFERENCES

    KEVM

    • kframework.org
    • Oct 2018, https://github.com/ kframework/evm-semantics.
    • 2018
    VIEW 7 EXCERPTS
    HIGHLY INFLUENTIAL

    MAIAN

    • MAIAN-tool
    • Oct 2018, https://github.com/ MAIAN-tool/MAIAN.
    • 2018
    VIEW 9 EXCERPTS
    HIGHLY INFLUENTIAL

    Security Assurance for Smart Contract

    VIEW 6 EXCERPTS
    HIGHLY INFLUENTIAL

    SmartCheck

    • SmartDec
    • Oct 2018, https://tool.smartdec.net/.
    • 2018
    VIEW 8 EXCERPTS
    HIGHLY INFLUENTIAL

    Comparison of static analysis tooling for smart contracts on the evm

    • R. Fontein
    • 28th Twente Student conference on IT, 2018.
    • 2018
    VIEW 2 EXCERPTS

    E-EVM

    • pisocrob
    • Oct 2018, https://github.com/pisocrob/ E-EVM.
    • 2018
    VIEW 3 EXCERPTS