Defining the Ethereum Virtual Machine for Interactive Theorem Provers-Reference-Cited by-同舟云学术

Defining the Ethereum Virtual Machine for Interactive Theorem Provers

Published:2017 Issue: Volume: Page:520-535
ISSN:0302-9743
Container-title:Financial Cryptography and Data Security
language:
Short-container-title:

Author:

Hirai Yoichi

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-70278-0_33

Reference26 articles.

1. The Coq proof assistant. https://coq.inria.fr/ . Accessed 19 Dec 2016

2. Ethereum VM tests. https://github.com/ethereum/tests/tree/develop/VMTests . Accessed 02 Jan 2017

3. Solidity 0.4.8-develop documentation. https://solidity.readthedocs.io/ . Accessed 19 Dec 2016

4. WebAssembly. http://webassembly.org/ . Accessed 16 Dec 2016

5. Atzei, N., Bartoletti, M., Cimoli, T.: A survey of attacks on Ethereum smart contracts. Cryptology ePrint Archive (2016). http://eprint.iacr.org/2016/1007

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

1. Vulnerability detection techniques for smart contracts: A systematic literature review;Journal of Systems and Software;2024-11

2. Smart contracts auditing and multi-classification using machine learning algorithms: an efficient vulnerability detection in ethereum blockchain;Computing;2024-07-03

3. Digital twins and dynamic NFTs for blockchain-based crowdsourced last-mile delivery;Information Processing & Management;2024-07

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