Mouhamad Almakhour

Verification of smart contracts: A survey

Abdelhamid Mellouk, Abed Ellatif Samhat, Layth Sliman, 2020, Pervasive Mob. Comput..

Smart Contract Based Solution for Secure Distributed SDN

Abdelhamid Mellouk, Abed Ellatif Samhat, Layth Sliman, 2021, 2021 11th IFIP International Conference on New Technologies, Mobility and Security (NTMS).

On the Verification of Smart Contracts: A Systematic Review

Abdelhamid Mellouk, Abed Ellatif Samhat, Layth Sliman, 2020, ICBC.

Trustless Blockchain-based Access Control in Dynamic Collaboration

Walid Gaaloul, Abed Ellatif Samhat, Layth Sliman, 2018, BDCSIntell.

A formal verification approach for composite smart contracts security using FSM

A. Mellouk, Layth Sliman, A. Samhat, 2022, J. King Saud Univ. Comput. Inf. Sci..