A Survey on Formal Verification for Solidity Smart Contracts-Reference-Cited by-同舟云学术

A Survey on Formal Verification for Solidity Smart Contracts

Published:2021-02 Issue: Volume: Page:
ISSN:
Container-title:2021 Australasian Computer Science Week Multiconference
language:
Short-container-title:

Author:

Garfatta Ikram¹,Klai Kais²,Gaaloul Walid³,Graiet Mohamed⁴

Affiliation:

1. University of Tunis El Manar Tunisia and University Sorbonne Paris North, France

2. University Sorbonne Paris North, France

3. Telecom SudParis, France

4. University of Monastir, Higher Institute for Computer Science and Mathematics, Tunisia and National School for Statistics and Information Analysis, France, France

Publisher

ACM

Link

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

Reference32 articles.

1. [n.d.]. Formal Verification for Solidity Contracts — Ethereum Community Forum. https://forum.ethereum.org/discussion/3779/formal-verification-for-solidity-contracts. [n.d.]. Formal Verification for Solidity Contracts — Ethereum Community Forum. https://forum.ethereum.org/discussion/3779/formal-verification-for-solidity-contracts.

2. [n.d.]. Ropsten. https://ropsten.etherscan.io/. [n.d.]. Ropsten. https://ropsten.etherscan.io/.

3. Saswat Anand Corina S. Pasareanu and Willem Visser. [n.d.]. Symbolic execution with abstraction. Int. J. Softw. Tools Technol. Transf. 11 1 ([n. d.]). Saswat Anand Corina S. Pasareanu and Willem Visser. [n.d.]. Symbolic execution with abstraction. Int. J. Softw. Tools Technol. Transf. 11 1 ([n. d.]).

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

1. Exploiting Bytecode Analysis for Reentrancy Vulnerability Detection in Ethereum Smart Contracts;2023 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech);2023-11-14

2. A Comparative Analysis of Ethereum Solidity and Sui Move Smart Contract Languages: Advantages and Trade-Offs;2023 6th World Symposium on Communication Engineering (WSCE);2023-09-27

3. Design of the Blockchain System for the Generation and Verification of Diplomas;2023 XXXII International Scientific Conference Electronics (ET);2023-09-13

4. Evaluating the Remix Solidity Static Analysis Plugin Using SB Curated Dataset;2023 7th International Conference On Computing, Communication, Control And Automation (ICCUBEA);2023-08-18

5. Automatic Generation of Solidity Test for Blockchain Smart Contract using Many Objective Search and Dimensionality Reduction;2023 10th International Conference on Dependable Systems and Their Applications (DSA);2023-08-10