SmartInspect: Smart Contract Inspection Technical Report

Report English OPEN
Bragagnolo , Santiago; Rocha , Henrique ,; Denker , Marcus; Ducasse , Stéphane;
  • Publisher: HAL CCSD
  • Subject: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL] | [ INFO.INFO-PL ] Computer Science [cs]/Programming Languages [cs.PL]

Smart contracts are embedded procedures stored with the data they act upon. Debugging deployed Smart Contracts is a difficult task since once deployed, the code cannot be reexecuted and inspecting a simple attribute is not easily possible because data is encoded. In thi... View more
  • References (18)
    18 references, page 1 of 2

    [1] K. Bhargavan, A. Delignat-Lavaud, C. Fournet, A. Gollamudi, G. Gonthier, N. Kobeissi, N. Kulatova, A. Rastogi, T. Sibut-Pinote, N. Swamy, and S. ZanellaBéguelin. Formal verification of smart contracts: Short paper. In 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS '16, pages 91-96, New York, NY, USA, 2016. ACM.

    [2] G. Bracha and D. Ungar. Mirrors: design principles for meta-level facilities of object-oriented programming languages. In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'04), ACM SIGPLAN Notices, pages 331-344, New York, NY, USA, 2004. ACM Press.

    [3] J. Caballero, H. Yin, Z. Liang, and D. Song. Polyglot: Automatic extraction of protocol message format using dynamic binary analysis. In Proceedings of the 14th ACM Conference on Computer and Communications Security, CCS '07, pages 317-329, New York, NY, USA, 2007. ACM.

    [4] A. Chis¸, O. Nierstrasz, A. Syrel, and T. Gîrba. The moldable inspector. In 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!), Onward! 2015, pages 44-60, New York, NY, USA, 2015. ACM.

    [5] T. T. A. Dinh, J. Wang, G. Chen, R. Liu, B. C. Ooi, and K.-L. Tan. Blockbench: A framework for analyzing private blockchains. In Proceedings of the 2017 ACM International Conference on Management of Data, SIGMOD '17, pages 1085- 1100, New York, NY, USA, 2017. ACM.

    [6] S. Dziembowski. Introduction to cryptocurrencies. In 22nd ACM SIGSAC Conference on Computer and Communications Security, CCS '15, pages 1700-1701, New York, NY, USA, 2015. ACM.

    [7] Ethereum Foundation. Ethereum's white paper., 2014.

    [8] Ethereum Foundation. Solidity documentation release 0.4.18. Technical report, 2017.

    [9] K. Fisher, D. Walker, K. Q. Zhu, and P. White. From dirt to shovels: Fully automatic tool generation from ad hoc data. In Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '08, pages 421-434, New York, NY, USA, 2008. ACM.

    [10] A. Hari and T. V. Lakshman. The internet blockchain: A distributed, tamperresistant transaction framework for the internet. In 15th ACM Workshop on Hot Topics in Networks, HotNets '16, pages 204-210, New York, NY, USA, 2016. ACM.

  • Related Research Results (1)
    Inferred by OpenAIRE
    SmartShackle software on GitHub
  • Metrics
Share - Bookmark