Search

Your search keyword '"Samhat, Abed Ellatif"' showing total 4 results
Start Over Author "Samhat, Abed Ellatif" Topic blockchain
4 results on '"Samhat, Abed Ellatif"'

2. On the Verification of Smart Contracts: A Systematic Review

Author

Almakhour, Mouhamad, Sliman, Layth, Samhat, Abed Ellatif, Mellouk, Abdelhamid, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Chen, Zhixiong, editor, Cui, Laizhong, editor, Palanisamy, Balaji, editor, and Zhang, Liang-Jie, editor

Published
2020
Full Text
View/download PDF

3. Tangle the Blockchain:Towards Connecting Blockchain and DAG

Author

Hellani, Houssein, Sliman, Layth, Samhat, Abed Ellatif, Samhat, Abed, Exposito, E., Département de Mathématiques, Informatique, Automatique (DMIA), Institut Supérieur de l'Aéronautique et de l'Espace (ISAE-SUPAERO), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées, Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour (LIUPPA), Université de Pau et des Pays de l'Adour (UPPA), École d'ingénieur généraliste en informatique et technologies du numérique (Efrei), Faculty of Engineering-CRSI, Lebanese American University (LAU), and Lebanese University [Beirut] (LU)

Subjects
Tangle, Blockchain, DAG, IOTA, [INFO]Computer Science [cs], Connector
Abstract

International audience; Blockchain brings many added values to modern business systems. However, Blockchain-based applications with massive IoT devices experience some limitations. This is referred to the linear structure and the consensus algorithms used in Blockchain, which consumes the participating nodes' considerable resources. Additionally, IoT devices are generally with limited resources and have limited bandwidth connections. IOTA, which is based on Directed Acyclic Graph (DAG), is a new distributed ledger technology (DLT) for IoT devices. It proves its high scalability by providing parallel data processing. However, DAG is still not mature enough to fully replace Blockchain. In previous work, we proposed combining both Blockchain and IOTA technologies to allow scalable transactions where Blockchain is employed in the backend and Tangle is used in the frontend. In this paper, we consider the proposed solution with the main focusing on the connector part that intermediates both DLT technologies. The connector is a decentralized software component that supports the interaction between the DLT implicitly. The experiments' results show the flexibility to merge both DLTs using message queuing protocol that enables smart contracts to run on the Tangle nodes and enriches the new platform with reliability and working offline features.

Published
2021

4. Verification of smart contracts: A survey.

Author

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

Subjects
CONTRACTS, CONTRACT employment, BLOCKCHAINS
Abstract

To achieve trust and continuity in the smart contracts-based business process execution, the verification of such smart contracts is mandatory. A blockchain-based smart contract should work as intended before using it. Due to the immutable nature of blockchain, any bugs or errors will become permanent once published and could lead to huge economic losses. To avoid such problems, verification is required to check the correctness and the security of the smart contract. In this survey, we consider the smart contracts and we investigate smart contacts formal verification methods. We also investigate the security assurance for smart contracts using vulnerabilities detection methods. In this context, we provide a detailed overview of the different approaches to verify the smart contracts and we present the used methods and tools. We show a description of each method as well as its advantages and limitations and we draw several conclusions. [ABSTRACT FROM AUTHOR]

Published
2020
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results