Towards Secured and Interoperable Business Services. - Alida Esper; Layth Sliman; Youakim Badr; Frédérique Biennier (IESA, 2008)

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)

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)

RunMyCode: An innovative platform for social production and evaluation of scientific research. - Layth Sliman; Benoit Charroux; Yvan Stroppa (CASoN, 2012)

A New Collaborative and Cloud Based Simulation as a Service Platform: Towards a Multidisciplinary Research Simulation Support. - Layth Sliman; Benoit Charroux; Yvan Stroppa (UKSim, 2013)

Distributed Framework for Big Data Processing: a Goal Driven Approach. - Layth Sliman; Benoit Charroux; Yvan Stroppa (IDT/IIMSS/STET, 2014)

Model of Bayesian Tangent Eye Shape for eye capture. - Asama Kuder Nseaf; Azizah Jaafar; Layth Sliman; Riza Sulaiman; Rahmita Wirza O. K. Rahmat (ISDA, 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 (ISDA, 2014)

A Novel Security Architecture Based on Multi-level Rule Expression Language. - Samih Souissi; Layth Sliman; Benoit Charroux (HIS, 2015)

Score Level Fusion Scheme in Hybrid Multibiometric System. - Saliha Artabaz; Layth Sliman; Karima Benatchba; Hachemi Nabil Dellys; Mouloud Koudil (IVIC, 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 (IVIC, 2015)

Compose: A Domain Specific Language for scientific code computation. - Benoit Charroux; Layth Sliman; Yvan Stroppa; Nistor Grozavu (CFIP/NOTERE, 2015)

Fingerprint fuzzy vault chaff point generation by squares method. - Hachemi Nabil Dellys; Noussaiba Benadjimi; Meriem Romaissa Boubakeur; Layth Sliman; Fathelalem F. Ali (SoCPaR, 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)

Semantic Web Technologies in Cloud Computing: A Systematic Literature Review. - Hayet Brabra; Achraf Mtibaa; Layth Sliman; Walid Gaaloul; Faïez Gargouri (SCC, 2016)

Chaff-Points Generation Using Knapsack Problem Resolution in Fingerprint Fuzzy Vault. - Hachemi Nabil Dellys; Layth Sliman; Saliha Artabaz; Karima Benatchba; Mouloud Koudil (HIS, 2016)

Detecting Cloud (Anti)Patterns: OCCI Perspective. - Hayet Brabra; Achraf Mtibaa; Layth Sliman; Walid Gaaloul; Boualem Benatallah; Faïez Gargouri (ICSOC, 2016)

Multibiometrics Enhancement Using Quality Measurement in Score Level Fusion. - Saliha Artabaz; Layth Sliman; Hachemi Nabil Dellys; Karima Benatchba; Mouloud Koudil (ISDA, 2016)

Security Incident Response: Towards a Novel Decision-Making System. - Samih Souissi; Ahmed Serhrouchni; Layth Sliman; Benoit Charroux (ISDA, 2016)

Towards an Ultra-lightweight Cryptosystem for IoT. - Tasnime Omrani; Layth Sliman; Rabei Becheikh; Safya Belghith; Belgacem Ben Hedia (SoCPaR, 2016)

Towards a formal approach for the verification of SCA/BPEL software architectures. - Taoufik Sakka Rouis; Mohamed Tahar Bhiri; Layth Sliman; Mourad Kmimech (IISA, 2017)

UML2ADA for Early Verification of Concurrency Inside the UML2.0 Atomic Components. - Taoufik Sakka Rouis; Mohamed Tahar Bhiri; Mourad Kmimech; Layth Sliman (ISDA, 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 (OTM Conferences (1), 2017)

Towards a Formal Verification Approach for Cloud Software Architecture. - Amal Ayach; Layth Sliman; Mourad Kmimech; Mohamed Tahar Bhiri; Badran Raddaoui (SoMeT, 2017)

Towards a Formal Verification Approach for Service Component Architecture. - Wael Chargui; Taoufik Sakka Rouis; Mourad Kmimech; Mohamed Tahar Bhiri; Layth Sliman; Badran Raddaoui (SoMeT, 2017)

Behavioral Verification of Service Component Architecture. - Wael Chargui; Taoufik Sakka Rouis; Mourad Kmimech; Mohamed Tahar Bhiri; Layth Sliman; Badran Raddaoui (WETICE, 2017)

Trustless Blockchain-based Access Control in Dynamic Collaboration. - Mouhamad Almakhour; Layth Sliman; Abed Ellatif Samhat; Walid Gaaloul (BDCSIntell, 2018)

Lightweight Cryptography for Resource-Constrained Devices: A Comparative Study and Rectangle Cryptanalysis. - Tasnime Omrani; Rhouma Rhouma; Layth Sliman (ICDEc, 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 001 (NTMS, 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 (PDCAT, 2018)

Security, Safety and Confidentiality in IoT for Collaborative Business Technologies (SSCIoT Track of WETICE 2018). - Layth Sliman; Hachemi Nabil Dellys (WETICE, 2018)

Ontology Matching Techniques: A Gold Standard Model. - Alok Chauhan; V. Vijayakumar 002; Layth Sliman (CoRR, 2018)

A New Lightweight Encryption Approach for Correlated Content Exchange in Internet of Things. - Tasnime Omrani; Layth Sliman (FNSS, 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 (HIS, 2019)

On the Verification of Data Encryption Requirements in Internet of Things Using Event-B. - Imed Abbassi; Layth Sliman; Mohamed Graiet; Walid Gaaloul (ICDEc, 2019)

Study of Score Fusion and Quality Weighting in the Bio-Secure DS2 Database. - Saliha Artabaz; Layth Sliman (SCDS, 2019)

GRASP-Based Approach for Minimum Initial Marking Estimation in Labeled Petri Nets. - Hichem Kmimech; Layth Sliman; Lotfi Nabli (SKG, 2019)

Minimum Initial Marking Estimation in Labeled Petri Nets Using Simulated Annealing. - Hichem Kmimech; Achraf Jabeur Telmoudi; Layth Sliman; Lotfi Nabli (SoMeT, 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)

On the Verification of Smart Contracts: A Systematic Review. - Mouhamad Almakhour; Layth Sliman; Abed Ellatif Samhat; Abdelhamid Mellouk (ICBC, 2020)

Toward a Mixed Tangle-Blockchain Architecture. - Motaz Ben Hassine; Mourad Kmimech; Hussein Hellani; Layth Sliman (SoMeT, 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)

Verification of smart contracts: A survey. - Mouhamad Almakhour; Layth Sliman; Abed Ellatif Samhat; Abdelhamid Mellouk (Pervasive Mob. Comput., 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)

A Survey on SLA Management Using Blockchain Based Smart Contracts. - Nawel Hamdi; Chiraz El Hog; Raoudha Ben Djemaa; Layth Sliman (ISDA, 2021)

Smart Contract Based Solution for Secure Distributed SDN. - Mouhamad Almakhour; Ayoub Wehby; Layth Sliman; Abed Ellatif Samhat; Abdelhamid Mellouk (NTMS, 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 (SoMeT, 2021)

Tangle the Blockchain: Towards Connecting Blockchain and DAG. - Houssein Hellani; Layth Sliman; Abed Ellatif Samhat; Ernesto Exposito (WETICE, 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 (WETICE, 2021)

Optimized multi-biometric enhancement analysis. - Saliha Artabaz; Layth Sliman; Karima Benatchba; Mouloud Koudil (IET Biom., 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)

Computing Resource Allocation Scheme for DAG-Based IOTA Nodes. - Houssein Hellani; Layth Sliman; Abed Ellatif Samhat; Ernesto Exposito (Sensors, 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)

Never Alone: a Quality of Context-aware Monitoring System for Aging in Place Smart Home. - Hajer Nabli; Ines Regaig; Raoudha Ben Djemaa; Layth Sliman (NCA, 2022)

ABISchain: Towards a Secure and Scalable Blockchain Using Swarm-based Pruning. - Mohamed Moetez Abdelhamid; Layth Sliman; Raoudha Ben Djemaa; Boussad Ait Salem (ACSW, 2023)

Demystifying Threshold Elliptic Curve Digital Signature Algorithm for MultiParty Applications. - Bachar Kachouh; Layth Sliman; Abed Ellatif Samhat; Kamel Barkaoui (ACSW, 2023)

A Novel Neural Network-Based Recommender System for Drug Recommendation. - Hadi Al-Mubasher; Ziad Doughan; Layth Sliman; Ali M. Haidar 001 (EANN, 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 (GLOBECOM, 2023)

Fuzzy FCA-based Elderly Activity Recognition. - Abir Ghannem; Emily Francis; Hajer Nabli; Layth Sliman; Raoudha Ben Djemaa (ICCA, 2023)

Privacy-preserving Collaborative Computation: Methods, Challenges and Directions. - Ikhlas Mastour; Layth Sliman; Benoit Charroux; Raoudha Ben Djemaa; Kamel Barkaoui (ICCA, 2023)

On Safety of Decentralized Unmanned Aircraft System Traffic Management Using Blockchain. - Asma Hamissi; Amine Dhraief; Layth Sliman (WETICE, 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., 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., 2023)

Hybrid System for Intelligent Context Situation Detection. - Ikhlas Mastour; Hela Zorgati; Raoudha Ben Djemaa; Layth Sliman (CHIRA (2), 2024)

Vision-based Human Fall Detection Systems: A Review. - Asma Benkaci; Layth Sliman; Hachemi Nabil Dellys (FNC/MobiSPC/SEIT, 2024)

Towards Automatic Smart Contract Generation: Application in Agriculture. - Ryhem Essid; Wael Sellami; Hatem Hadj Kacem; Layth Sliman (ICSOC Workshops (2), 2024)

Smart Contracts Vulnerability Detection Using Transformers. - Riham Badra; Layth Sliman; Amine Dhraief (WISE (5), 2024)

Towards Blockchain Like SOA. - Wafa Ben Slama Souei; Benoit Charroux; Layth Sliman; Raoudha Ben Djemaa (WISE (3), 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)

High Performance and Lightweight Single Semi-Lattice Algebraic Machine Learning. - Imane Haidar; Layth Sliman; Issam W. Damaj; Ali Massoud Haidar 001 (IEEE Access, 2024)

A Comparative Analysis of Cryptographic Techniques for Privacy Preservation in Blockchain-Based Dispute Resolution. - Yassine Obeid; Christiana Zaraket; Layth Sliman (ICEIS (1), 2025)

Physics-Aware Hybrid Estimator for Dynamic Power System Dataset Generation and Cyber Attack Simulation. - Belkacem Kadri; Layth Sliman; Abdullah Alsaedi; Juhar Ahmed Abdella; Farah Zoubeyr (IEEE Access, 2025)

How innovative technologies shape the future of pharmaceutical supply chains. - Hajer Nabli; Abir Ghannem; Raoudha Ben Djemaa; Layth Sliman (Comput. Ind. Eng., 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., 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., 2025)

A Review on Safety and Security in Decentralized Extensible Traffic Management Systems. - Asma Hamissi; Amine Dhraief; Layth Sliman (SN Comput. Sci., 2025)

Beyond the Screen: Exploring Privacy Boundaries through Automated User Profiling. - Jean Mouchotte; Maxence Delong; Layth Sliman (ACM Trans. Priv. Secur., 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., 2025)