Layth Sliman

According to our database, Layth Sliman authored at least 97 papers between 2008 and 2026.

Collaborative distances:

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

2026

An Ultra-Robust Privacy Preserving Scheme for Federated Learning using Distributed Homomorphic Encryption.

Ikhlas Mastour, Layth Sliman, Boussad Ait Salem, Balthazar Bauer, Raoudha Ben Djemaa, Kamel Barkaoui

IACR Cryptol. ePrint Arch., 2026

Defending Against Backdoor Attacks in Homomorphically Encrypted Federated Learning.

Ikhlas Mastour, Imane Haidar, Layth Sliman, Raoudha Ben Djemaa

IACR Cryptol. ePrint Arch., 2026

Survey on Biometric Authentication for Decentralized Identity Management: Trends, Challenges, and Future Directions.

Imen Rjab, Layth Sliman

Future Internet, 2026

Institutional Approaches to Post-Quantum Cryptography: A Comparative Analysis of Migration Frameworks.

Mustafa El Bizri, Ahmad M. El-Hajj, Layth Sliman, Ali Massoud Haidar

IEEE Access, 2026

Attention and Curiosity Based Reinforcement Learning Approach for Drone Collision Avoidance.

Tejeddine Lakhal, Asma Hamissi, Amine Dhraief, Layth Sliman

Proceedings of the IEEE Wireless Communications and Networking Conference, 2026

Integrating Post-Quantum Cryptography and AI-Driven Security in Multi-Tier Network Architectures.

Mustafa El Bizri, Ahmad M. El-Hajj, Layth Sliman, Ali M. Haidar

Proceedings of the 6th Middle East and North Africa Communications Conference, 2026

LexiGen: A Fine-Grained Synthetic Corpus for GDPR Compliance Analysis.

Ali Bouhejba, Aroua Hedhili Sbaï, Souheib Yousfi, Layth Sliman

Proceedings of the 18th International Conference on Agents and Artificial Intelligence, 2026

GADCA: A MARL-Based Graph-Attentive Decentralized Collision Avoidance Framework for UAV in UTM.

Asma Hamissi, Amine Dhraief, Layth Sliman

Proceedings of the 23rd Consumer Communications & Networking Conference, 2026

2025

Wearable sensor-based eye-rubbing monitoring: a hybrid CNN-attentionrub architecture for keratoconus prevention.

Ayoub Louja, Ines Drira, Abdellah Jamali, Najib Naja, Layth Sliman

J. Supercomput., August, 2025

Beyond the Screen: Exploring Privacy Boundaries through Automated User Profiling.

Jean Mouchotte, Maxence Delong, Layth Sliman

ACM Trans. Priv. Secur., August, 2025

A Review on Safety and Security in Decentralized Extensible Traffic Management Systems.

Asma Hamissi, Amine Dhraief, Layth Sliman

SN Comput. Sci., April, 2025

A Review on Blockchain Technology, Current Challenges, and AI-Driven Solutions.

Mohamed Moetez Abdelhamid, Layth Sliman, Raoudha Ben Djemaa, Guido Perboli

ACM Comput. Surv., March, 2025

A Comprehensive Survey on Conflict Detection and Resolution in Unmanned Aircraft System Traffic Management.

Asma Hamissi, Amine Dhraief, Layth Sliman

IEEE Trans. Intell. Transp. Syst., February, 2025

Optimizing Internet of Things Services Placement in Fog Computing Using Hybrid Recommendation System.

Hanen Ben Rjeb, Layth Sliman, Hela Zorgati, Raoudha Ben Djemaa, Amine Dhraief

Future Internet, 2025

How innovative technologies shape the future of pharmaceutical supply chains.

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

Comput. Ind. Eng., 2025

Physics-Aware Hybrid Estimator for Dynamic Power System Dataset Generation and Cyber Attack Simulation.

Belkacem Kadri, Layth Sliman, Abdullah Alsaedi, Juhar Ahmed Abdella, Zoubeyr Farah

IEEE Access, 2025

SLF-DF: A Framework for Fraud Detection in Airdrop Business Processes.

Oumaima Rjab, Layth Sliman, Souheib Yousfi

Proceedings of the Web Information Systems Engineering - WISE 2025 PhD Symposium, Demos and Workshops, 2025

Multi-layered Framework for Counterfeit-Free Pharmaceutical Chains.

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

Proceedings of the Web Information Systems Engineering - WISE 2025 PhD Symposium, Demos and Workshops, 2025

Revisiting RELIANCE for Drone Collision Avoidance: Reproducibility and Technical Corrections.

Tejeddine Lakhal, Amine Dhraief, Layth Sliman

Proceedings of the 14th IFIP/IEEE International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks, 2025

Compliance Verification of 5G Service Level Agreements using Event-B.

Riham Badra, Lazhar Hamel, Layth Sliman, Ralp Bou Nader

Proceedings of the 23rd International Symposium on Network Computing and Application, 2025

Methodology to extract full blockchain transactions in NFT Trading.

Johannes Gomolka, Yoan Sapienza, Layth Sliman

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 29th International Conference KES-2025, 2025

On the integration of Blockchain and legacy systems: a framework for high consistency and low latency of distributed transactions.

Yassine Ayadi, Benoit Charroux, Layth Sliman

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 29th International Conference KES-2025, 2025

AgriTrustChain: A Decentralized Certification and Edaphic Data Traceability Framework with Zero-Leak for Sustainable Farming Using Blockchain.

Wafa Ben Slama Souei, Mohamed Amine Hattab, Layth Sliman, Raoudha Ben Djemaa, Faiza Khebour Allouche

Proceedings of the 22nd International Conference on Informatics in Control, 2025

Smart Urban Tree Valorization: An AI-Blockchain-Based Application for the Preservation of Remarkable Trees.

Hajer Nabli, Issra Jegham, Yasmine Zorgati, Rania Ajmi, Raoudha Ben Djemaa, Layth Sliman

Proceedings of the 22nd International Conference on Informatics in Control, 2025

A Comparative Analysis of Cryptographic Techniques for Privacy Preservation in Blockchain-Based Dispute Resolution.

Yassine Obeid, Christiana Zaraket, Layth Sliman

Proceedings of the 27th International Conference on Enterprise Information Systems, 2025

2024

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

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

IEEE Access, 2024

On Efficiency of Square-Boundaries Chaff Points Generation With Composite Representation in Fingerprint Fuzzy Vault.

Hachemi Nabil Dellys, Layth Sliman, Brendan Tran Morris, Karima Benatchba

IEEE Access, 2024

Towards Blockchain Like SOA.

Wafa Ben Slama Souei, Benoit Charroux, Layth Sliman, Raoudha Ben Djemaa

Proceedings of the Web Information Systems Engineering - WISE 2024, 2024

Smart Contracts Vulnerability Detection Using Transformers.

Riham Badra, Layth Sliman, Amine Dhraief

Proceedings of the Web Information Systems Engineering - WISE 2024, 2024

Data-Centric Security Model Based on Attribute-Based Cryptography For Healthcare Systems.

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

Proceedings of the Management of Digital EcoSystems - 16th International Conference, 2024

Towards Automatic Smart Contract Generation: Application in Agriculture.

Ryhem Essid, Wael Sellami, Hatem Hadj Kacem, Layth Sliman

Proceedings of the Service-Oriented Computing - ICSOC 2024 Workshops, 2024

Vision-based Human Fall Detection Systems: A Review.

Asma Benkaci, Layth Sliman, Hachemi Nabil Dellys

Proceedings of the 19th International Conference on Future Networks and Communications / 21st International Conference on Mobile Systems and Pervasive Computing / 14th International Conference on Sustainable Energy Information Technology (FNC/MobiSPC/SEIT 2024), 2024

Hybrid System for Intelligent Context Situation Detection.

Ikhlas Mastour, Hela Zorgati, Raoudha Ben Djemaa, Layth Sliman

Proceedings of the Computer-Human Interaction Research and Applications, 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

Blockchain-Integrated Technologies to Address Counterfeit Drugs in the Pharmaceutical Supply Chain.

Sarra Ben Abdelghani, Hajer Nabli, Raoudha Ben Djemaa, Layth Sliman

Proceedings of the Hybrid Intelligent Systems, 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