Layth Sliman

According to our database, Layth Sliman authored at least 64 papers between 2008 and 2024.

Collaborative distances:

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

2024

High Performance and Lightweight Single Semi-Lattice Algebraic Machine Learning.

Imane Haidar, Layth Sliman, Issam W. Damaj, Ali Massoud Haidar

IEEE Access, 2024

2023

Towards smart contract distributed directory based on the uniform description language.

Wafa Ben Slama Souei, Chiraz El Hog, Raoudha Ben Djemaa, Layth Sliman, Ikram Amous Ben Amor

J. Comput. Lang., November, 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

On Safety of Decentralized Unmanned Aircraft System Traffic Management Using Blockchain.

Asma Hamissi, Amine Dhraief, Layth Sliman

Proceedings of the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2023

Privacy-preserving Collaborative Computation: Methods, Challenges and Directions.

Ikhlas Mastour, Layth Sliman, Benoit Charroux, Raoudha Ben Djemaa, Kamel Barkaoui

Proceedings of the International Conference on Computer and Applications, 2023

Fuzzy FCA-based Elderly Activity Recognition.

Abir Ghannem, Emily Francis, Hajer Nabli, Layth Sliman, Raoudha Ben Djemaa

Proceedings of the International Conference on Computer and Applications, 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

A Novel Neural Network-Based Recommender System for Drug Recommendation.

Hadi Al-Mubasher, Ziad Doughan, Layth Sliman, Ali M. Haidar

Proceedings of the Engineering Applications of Neural Networks, 2023

Demystifying Threshold Elliptic Curve Digital Signature Algorithm for MultiParty Applications.

Bachar Kachouh, Layth Sliman, Abed Ellatif Samhat, Kamel Barkaoui

Proceedings of the 2023 Australasian Computer Science Week, 2023

ABISchain: Towards a Secure and Scalable Blockchain Using Swarm-based Pruning.

Mohamed Moetez Abdelhamid, Layth Sliman, Raoudha Ben Djemaa, Boussad Ait Salem

Proceedings of the 2023 Australasian Computer Science Week, 2023

2022

Never Alone: a Quality of Context-aware Monitoring System for Aging in Place Smart Home.

Hajer Nabli, Ines Regaig, Raoudha Ben Djemaa, Layth Sliman

Proceedings of the 21st IEEE International Symposium on Network Computing and Applications, 2022

2021

Privacy preservation of genome data analysis using homomorphic encryption.

Bachar Kachouh, Khalil Hariss, Layth Sliman, Abed Ellatif Samhat, Tamim Alsuliman

Serv. Oriented Comput. Appl., 2021

Computing Resource Allocation Scheme for DAG-Based IOTA Nodes.

Houssein Hellani, Layth Sliman, Abed Ellatif Samhat, Ernesto Exposito

Sensors, 2021

Towards an ultra lightweight block ciphers for Internet of Things.

Layth Sliman, Tasnime Omrani, Zahir Tari, Abed Ellatif Samhat, Rhouma Rhouma

J. Inf. Secur. Appl., 2021

Optimized multi-biometric enhancement analysis.

Saliha Artabaz, Layth Sliman, Karima Benatchba, Mouloud Koudil

IET Biom., 2021

Towards a Uniform Description Language for Smart Contract.

Wafa Ben Slama Souei, Chiraz El Hog, Layth Sliman, Raoudha Ben Djemaa, Ikram Amous Ben Amor

Proceedings of the 30th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2021

Tangle the Blockchain: Towards Connecting Blockchain and DAG.

Houssein Hellani, Layth Sliman, Abed Ellatif Samhat, Ernesto Exposito

Proceedings of the 30th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2021

A Rank Based ACO Approach for Optimal Resource Allocation and Scheduling in FMS Modeled with Labelled Petri Net.

Amira Jablaoui, Hichem Kmimech, Layth Sliman, Lotfi Nabli

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 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

A Survey on SLA Management Using Blockchain Based Smart Contracts.

Nawel Hamdi, Chiraz El Hog, Raoudha Ben Djemaa, Layth Sliman

Proceedings of the Intelligent Systems Design and Applications, 2021

2020

An MDE-Based Tool for Early Analysis of UML2.0/PSM Atomic and Composite Components.

Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Layth Sliman, Mourad Kmimech

IEEE Syst. J., 2020

Verification of smart contracts: A survey.

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

Pervasive Mob. Comput., 2020

Genetic-Based Approach for Minimum Initial Marking Estimation in Labeled Petri Nets.

Hichem Kmimech, Achraf Jabeur Telmoudi, Layth Sliman, Lotfi Nabli

IEEE Access, 2020

Toward a Mixed Tangle-Blockchain Architecture.

Motaz Ben Hassine, Mourad Kmimech, Hussein Hellani, Layth Sliman

Proceedings of the Knowledge Innovation Through Intelligent Software Methodologies, Tools and Techniques, 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

2019

On semantic detection of cloud API (anti)patterns.

Hayet Brabra, Achraf Mtibaa, Fábio Petrillo, Philippe Merle, Layth Sliman, Naouel Moha, Walid Gaaloul, Yann-Gaël Guéhéneuc, Boualem Benatallah, Faïez Gargouri

Inf. Softw. Technol., 2019

Minimum Initial Marking Estimation in Labeled Petri Nets Using Simulated Annealing.

Hichem Kmimech, Achraf Jabeur Telmoudi, Layth Sliman, Lotfi Nabli

Proceedings of the Advancing Technology Industrialization Through Intelligent Software Methodologies, Tools and Techniques, 2019

GRASP-Based Approach for Minimum Initial Marking Estimation in Labeled Petri Nets.

Hichem Kmimech, Layth Sliman, Lotfi Nabli

Proceedings of the 15th International Conference on Semantics, Knowledge and Grids, 2019

Study of Score Fusion and Quality Weighting in the Bio-Secure DS2 Database.

Saliha Artabaz, Layth Sliman

Proceedings of the Soft Computing in Data Science - 5th International Conference, 2019

On the Verification of Data Encryption Requirements in Internet of Things Using Event-B.

Imed Abbassi, Layth Sliman, Mohamed Graiet, Walid Gaaloul

Proceedings of the Digital Economy. Emerging Technologies and Business Innovation, 2019

Tangle the Blockchain: Toward IOTA and Blockchain Integration for IoT Environment.

Hussein Hellani, Layth Sliman, Motaz Ben Hassine, Abed Ellatif Samhat, Ernesto Exposito, Mourad Kmimech

Proceedings of the Hybrid Intelligent Systems, 2019

A New Lightweight Encryption Approach for Correlated Content Exchange in Internet of Things.

Tasnime Omrani, Layth Sliman

Proceedings of the Future Network Systems and Security - 5th International Conference, 2019

2018

Ontology Matching Techniques: A Gold Standard Model.

Alok Chauhan, V. Vijayakumar, Layth Sliman

CoRR, 2018

Security, Safety and Confidentiality in IoT for Collaborative Business Technologies (SSCIoT Track of WETICE 2018).

Layth Sliman, Hachemi Nabil Dellys

Proceedings of the 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2018

A Generic Approach for the Verification of Static and Dynamic Behavioral Properties of SCDL/WS-BPEL Service-Component Architectures.

Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman

Proceedings of the Parallel and Distributed Computing, 2018

Chaff-Points Generation Method Based on Adaptive Genetic Algorithms and Non-Fixed Size Squares Boundaries for Resource Constrained Devices.

Hachemi Nabil Dellys, Karima Benatchba, Layth Sliman, Yen-Wei Chen

Proceedings of the 9th IFIP International Conference on New Technologies, 2018

Lightweight Cryptography for Resource-Constrained Devices: A Comparative Study and Rectangle Cryptanalysis.

Tasnime Omrani, Rhouma Rhouma, Layth Sliman

Proceedings of the Digital Economy. Emerging Technologies and Business Innovation, 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

2017

Behavioral Verification of Service Component Architecture.

Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui

Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

Towards a Formal Verification Approach for Service Component Architecture.

Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2017

Towards a Formal Verification Approach for Cloud Software Architecture.

Amal Ayach, Layth Sliman, Mourad Kmimech, Mohamed Tahar Bhiri, Badran Raddaoui

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2017

A Formal Approach for Correct Elastic Package-Based Free and Open Source Software Composition in Cloud.

Imed Abbassi, Mohamed Graiet, Sindyana Jlassi, Abir Elkhalfa, Layth Sliman

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2017 Conferences, 2017

UML2ADA for Early Verification of Concurrency Inside the UML2.0 Atomic Components.

Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman

Proceedings of the Intelligent Systems Design and Applications, 2017

Towards a formal approach for the verification of SCA/BPEL software architectures.

Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Layth Sliman, Mourad Kmimech

Proceedings of the 8th International Conference on Information, 2017

2016

Towards an Ultra-lightweight Cryptosystem for IoT.

Tasnime Omrani, Layth Sliman, Rabei Becheikh, Safya Belghith, Belgacem Ben Hedia

Proceedings of the Eighth International Conference on Soft Computing and Pattern Recognition, 2016

Security Incident Response: Towards a Novel Decision-Making System.

Samih Souissi, Ahmed Serhrouchni, Layth Sliman, Benoit Charroux

Proceedings of the Intelligent Systems Design and Applications, 2016

Multibiometrics Enhancement Using Quality Measurement in Score Level Fusion.

Saliha Artabaz, Layth Sliman, Hachemi Nabil Dellys, Karima Benatchba, Mouloud Koudil

Proceedings of the Intelligent Systems Design and Applications, 2016

Detecting Cloud (Anti)Patterns: OCCI Perspective.

Hayet Brabra, Achraf Mtibaa, Layth Sliman, Walid Gaaloul, Boualem Benatallah, Faïez Gargouri

Proceedings of the Service-Oriented Computing - 14th International Conference, 2016

Chaff-Points Generation Using Knapsack Problem Resolution in Fingerprint Fuzzy Vault.

Hachemi Nabil Dellys, Layth Sliman, Saliha Artabaz, Karima Benatchba, Mouloud Koudil

Proceedings of the 16th International Conference on Hybrid Intelligent Systems (HIS 2016), 2016

Semantic Web Technologies in Cloud Computing: A Systematic Literature Review.

Hayet Brabra, Achraf Mtibaa, Layth Sliman, Walid Gaaloul, Faïez Gargouri

Proceedings of the IEEE International Conference on Services Computing, 2016

2015

Configuration assistée des processus métier. Conception et expérimentation.

Nour Assy, Walid Gaaloul, Layth Sliman, Bruno Defude

Ingénierie des Systèmes d Inf., 2015

Fingerprint fuzzy vault chaff point generation by squares method.

Hachemi Nabil Dellys, Noussaiba Benadjimi, Meriem Romaissa Boubakeur, Layth Sliman, Fathelalem F. Ali

Proceedings of the 7th International Conference of Soft Computing and Pattern Recognition, 2015

Compose: A Domain Specific Language for scientific code computation.

Benoit Charroux, Layth Sliman, Yvan Stroppa, Nistor Grozavu

Proceedings of the International Conference on Protocol Engineering, 2015

A Critical Comparison of Fingerprint Fuzzy Vault Techniques.

Hachemi Nabil Dellys, Noussaiba Benadjimi, Meriem Romaissa Boubakeur, Layth Sliman, Karima Benatchba, Saliha Artabaz, Mouloud Koudil

Proceedings of the Advances in Visual Informatics, 2015

Score Level Fusion Scheme in Hybrid Multibiometric System.

Saliha Artabaz, Layth Sliman, Karima Benatchba, Hachemi Nabil Dellys, Mouloud Koudil

Proceedings of the Advances in Visual Informatics, 2015

A Novel Security Architecture Based on Multi-level Rule Expression Language.

Samih Souissi, Layth Sliman, Benoit Charroux

Proceedings of the Hybrid Intelligent Systems, 2015

2014

Towards an effective e-government framework: Tasks and instruments for design and evaluation of public sector websites.

Sahar A. Osman, Fathelalem F. Ali, Mohamed E. Musa, Layth Sliman

Proceedings of the 14th International Conference on Intelligent Systems Design and Applications, 2014

Model of Bayesian Tangent Eye Shape for eye capture.

Asama Kuder Nseaf, Azizah Jaafar, Layth Sliman, Riza Sulaiman, Rahmita Wirza O. K. Rahmat

Proceedings of the 14th International Conference on Intelligent Systems Design and Applications, 2014

Distributed Framework for Big Data Processing: a Goal Driven Approach.

Layth Sliman, Benoit Charroux, Yvan Stroppa

Proceedings of the Smart Digital Futures 2014, 2014

2013

A New Collaborative and Cloud Based Simulation as a Service Platform: Towards a Multidisciplinary Research Simulation Support.

Layth Sliman, Benoit Charroux, Yvan Stroppa

Proceedings of the 15th International Conference on Computer Modelling and Simulation, 2013

2012

RunMyCode: An innovative platform for social production and evaluation of scientific research.

Layth Sliman, Benoit Charroux, Yvan Stroppa

Proceedings of the Fourth International Conference on Computational Aspects of Social Networks, 2012

2009

A security policy framework for context-aware and user preferences in e-services.

Layth Sliman, Frédérique Biennier, Youakim Badr

J. Syst. Archit., 2009

Collaborative Business and Enterprise Urbanization: Towards a Production-Oriented Urbanization Strategy.

Layth Sliman, Frédérique Biennier, Youakim Badr

Int. J. Enterp. Inf. Syst., 2009

2008

Towards Secured and Interoperable Business Services.

Alida Esper, Layth Sliman, Youakim Badr, Frédérique Biennier

Proceedings of the Enterprise Interoperability III, 2008