Work

Formal Methods for the Verification of Smart Contracts: A Review

Year: 2022

Type: conference-paper

Source: International Conference on Security of Information and Networks (SIN)

DOI: 10.1109/sin56466.2022.9970534

Authors: Moez Krichen, Mariam Lahami, Qasem Abu Al-Haija

Institutions: Al Baha University, University of Sfax, Princess Sumaya University for Technology

Language: English

Topic: Blockchain Technology Applications and Security

Subfield: Information Systems

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4311925389

FWCI: 15.96

Cites: 35

Cited by: 98

Related to: 10