Towards verifying ethereum smart contract bytecode in Isabelle/HOL-Reference-Cited by-同舟云学术

Towards verifying ethereum smart contract bytecode in Isabelle/HOL

Published:2018 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018
language:
Short-container-title:

Author:

Amani Sidney¹,Bégel Myriam²,Bortin Maksym¹,Staples Mark³

Affiliation:

1. Data61 at CSIRO, Australia

2. ENS Paris-Saclay, France / University of Paris-Saclay, France

3. Data61 at CSIRO, Australia / UNSW, Australia

Publisher

ACM Press

Reference22 articles.

1. 2017. Securify. http://securify.ch .

2. Joel Beeren, Matthew Fernandez, Xin Gao, Gerwin Klein, Rafal Kolanski, Japheth Lim, Corey Lewis, Daniel Matichuk, and Thomas Sewell. 2016. Finite Machine Word Library. Archive of Formal Proofs (June 2016). http://isa-afp.org/entries/Word_Lib.html, Formal proof development.

3. Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Natalia Kulatova, Aseem Rastogi, Thomas Sibut-Pinote, Nikhil Swamy, and Santiago Zanella-Béguelin. 2016. Formal Verification of Smart Contracts: Short Paper. In Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security (PLAS ’16) . ACM, New York, NY, USA, 91–96.

4. Jean-Christophe Filliâtre and Andrei Paskevich. 2013. Why3 – where programs meet provers. In European Symposium on Programming. Springer, 125–128.

5. Ethereum foundation. 2017. Solidity documentation. https://solidity. readthedocs.io/en/develop/ .

Cited by 28 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An integrated deep learning model for Ethereum smart contract vulnerability detection;International Journal of Information Security;2023-09-24

2. Blockchain-Based Applications for Disrupting and Accelerating Innovation in Organizations and Society;Supporting Technologies and the Impact of Blockchain on Organizations and Society;2023-05-19

3. CDRF: A Detection Method of Smart Contract Vulnerability Based on Random Forest;Provable and Practical Security;2023

4. Applicability of the Software Security Code Metrics for Ethereum Smart Contract;Lecture Notes in Networks and Systems;2021-08-08

5. Security reinforcement for Ethereum virtual machine;Information Processing & Management;2021-07