Formal Methods for the Verification of Smart Contracts: A Review-Reference-Cited by-同舟云学术

Formal Methods for the Verification of Smart Contracts: A Review

Published:2022-11-11 Issue: Volume: Page:
ISSN:
Container-title:2022 15th International Conference on Security of Information and Networks (SIN)
language:
Short-container-title:

Author:

Krichen Moez¹,Lahami Mariam²,Al-Haija Qasem Abu³

Affiliation:

1. Al-Baha University,Faculty of CSIT,Al-Baha,Saudi Arabia

2. ReDCAD Laboratory National School of Engineers of Sfax,Sfax Sfax,Tunisia

3. Universiy Princess Sumaya University For Technology,Computer Science Department,Jordan

Publisher

IEEE

Link

http://xplorestaging.ieee.org/ielx7/9970488/9970489/09970534.pdf?arnumber=9970534

Reference38 articles.

1. Secure Smart Contract Generation Based on Petri Nets

2. Formal Verification of Smart Contracts from the Perspective of Concurrency

3. Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems;petrucci;17th International Workshop on Automated Verification of Critical Systems FMICS-A VoCS 2017,2017

4. Finding The Greedy, Prodigal, and Suicidal Contracts at Scale

5. Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid

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

1. IMPROVING SEAL VERIFICATION SECURITY AND TRANSPARENCY USING BLOCKCHAIN TECHNOLOGY;International Journal of Engineering Technologies and Management Research;2024-08-06

2. Software verification challenges in the blockchain ecosystem;International Journal on Software Tools for Technology Transfer;2024-07-12

3. Ethereum Phishing Scam Detection Based on Data Augmentation Method and Hybrid Graph Neural Network Model;Sensors;2024-06-20

4. Improved YOLOv5 Network for Aviation Plug Defect Detection;Aerospace;2024-06-19

5. Blockchain-Based Security Factors on Sustainable Supply Chain Management in UK Manufacturing Firms: A Hybrid SEM-ANN Approach;Systems;2024-06-13