Mouhamad Almakhour

According to our database, Mouhamad Almakhour authored at least 7 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

A formal verification approach for composite smart contracts security using FSM.

Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Abdelhamid Mellouk

J. King Saud Univ. Comput. Inf. Sci., January, 2023

Reliable collaboration platform based on distributed registers. (Plateforme fiable de collaboration basée des registres distribués).

Mouhamad Almakhour

PhD thesis, 2023

VNFO-DCSC: A Novel Secure End-to-End NFV Marketplace Using Dynamic Composite Smart Contracts.

Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Boussad Ait Salem, Abdelhamid Mellouk

Proceedings of the IEEE Global Communications Conference, 2023

2021

Smart Contract Based Solution for Secure Distributed SDN.

Mouhamad Almakhour, Ayoub Wehby, Layth Sliman, Abed Ellatif Samhat, Abdelhamid Mellouk

Proceedings of the 11th IFIP International Conference on New Technologies, 2021

2020

Verification of smart contracts: A survey.

Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Abdelhamid Mellouk

Pervasive Mob. Comput., 2020

On the Verification of Smart Contracts: A Systematic Review.

Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Abdelhamid Mellouk

Proceedings of the Blockchain - ICBC 2020, 2020

2018

Trustless Blockchain-based Access Control in Dynamic Collaboration.

Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Walid Gaaloul

Proceedings of the 1st International Conference on Big Data and Cyber-Security Intelligence, 2018