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

Towards verifying ethereum smart contract bytecode in Isabelle/HOL

Published:2018-01-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs
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

Link

https://dl.acm.org/doi/pdf/10.1145/3167084

Reference21 articles.

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

2. Formal Verification of Smart Contracts

3. Why3 — Where Programs Meet Provers

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

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

1. A Dynamic Behavior Verification Method for Composite Smart Contracts Based on Model Checking;Mathematics;2024-08-05

2. ContractCheck: Checking Ethereum Smart Contracts in Fine-Grained Level;IEEE Transactions on Software Engineering;2024-07

3. A smart contract vulnerability detection method based on deep learning with opcode sequences;Peer-to-Peer Networking and Applications;2024-06-27

4. A comprehensive survey of smart contract security: State of the art and research directions;Journal of Network and Computer Applications;2024-06

5. iCon: Automated Verification of Inter-Transaction Properties in Tezos Smart Contracts with Unknowns;2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC);2024-05-27