Mouhamad Almakhour

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 6

Top Topics

Smart Environments

Formal Verification

Top Venues

Pervasive Mob. Comput.

Publications

Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Boussad Ait Salem, Abdelhamid Mellouk
VNFO-DCSC: A Novel Secure End-to-End NFV Marketplace Using Dynamic Composite Smart Contracts. GLOBECOM (2023)
Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Abdelhamid Mellouk
A formal verification approach for composite smart contracts security using FSM. J. King Saud Univ. Comput. Inf. Sci. 35 (1) (2023)
Mouhamad Almakhour, Ayoub Wehby, Layth Sliman, Abed Ellatif Samhat, Abdelhamid Mellouk
Smart Contract Based Solution for Secure Distributed SDN. NTMS (2021)
Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Abdelhamid Mellouk
On the Verification of Smart Contracts: A Systematic Review. ICBC (2020)
Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Abdelhamid Mellouk
Verification of smart contracts: A survey. Pervasive Mob. Comput. 67 (2020)
Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Walid Gaaloul
Trustless Blockchain-based Access Control in Dynamic Collaboration. BDCSIntell (2018)