A formal verification approach for composite smart contracts security using FSM[J] JOURNAL OF KING SAUD UNIVERSITY-COMPUTER AND INFORMATION SCIENCES 2023(35) Almakhour, Mouhamad Sliman, Layth Samhat, Abed Ellatif Mellouk, Abdelhamid
Verification of smart contracts: A survey[J] PERVASIVE AND MOBILE COMPUTING 2020(67) Almakhour, Mouhamad Sliman, Layth Samhat, Abed Ellatif Mellouk, Abdelhamid
Computing Resource Allocation Scheme for DAG-Based IOTA Nodes[J] SENSORS 2021(21) Hellani, Houssein Sliman, Layth Samhat, Abed Ellatif Exposito, Ernesto
