Layth Sliman

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 50

Top Topics

Formal Verification

Software Architecture

Top Venues

Publications

Imane Haidar, Layth Sliman, Issam W. Damaj, Ali Massoud Haidar
High Performance and Lightweight Single Semi-Lattice Algebraic Machine Learning. IEEE Access 12 (2024)
Ikhlas Mastour, Layth Sliman, Benoit Charroux, Raoudha Ben Djemaa, Kamel Barkaoui
Privacy-preserving Collaborative Computation: Methods, Challenges and Directions. ICCA (2023)
Wafa Ben Slama Souei, Chiraz El Hog, Raoudha Ben Djemaa, Layth Sliman, Ikram Amous Ben Amor
Towards smart contract distributed directory based on the uniform description language. J. Comput. Lang. 77 (2023)
Abir Ghannem, Emily Francis, Hajer Nabli, Layth Sliman, Raoudha Ben Djemaa
Fuzzy FCA-based Elderly Activity Recognition. ICCA (2023)
Hadi Al Mubasher, Ziad Doughan, Layth Sliman, Ali M. Haidar
A Novel Neural Network-Based Recommender System for Drug Recommendation. EANN (2023)
Bachar Kachouh, Layth Sliman, Abed Ellatif Samhat, Kamel Barkaoui
Demystifying Threshold Elliptic Curve Digital Signature Algorithm for MultiParty Applications. ACSW (2023)
Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Boussad Ait Salem, Abdelhamid Mellouk
VNFO-DCSC: A Novel Secure End-to-End NFV Marketplace Using Dynamic Composite Smart Contracts. GLOBECOM (2023)
Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Abdelhamid Mellouk
A formal verification approach for composite smart contracts security using FSM. J. King Saud Univ. Comput. Inf. Sci. 35 (1) (2023)
Asma Hamissi, Amine Dhraief, Layth Sliman
On Safety of Decentralized Unmanned Aircraft System Traffic Management Using Blockchain. WETICE (2023)
Mohamed Moetez Abdelhamid, Layth Sliman, Raoudha Ben Djemaa, Boussad Ait Salem
ABISchain: Towards a Secure and Scalable Blockchain Using Swarm-based Pruning. ACSW (2023)
Hajer Nabli, Ines Regaig, Raoudha Ben Djemaa, Layth Sliman
Never Alone: a Quality of Context-aware Monitoring System for Aging in Place Smart Home. NCA (2022)
Mouhamad Almakhour, Ayoub Wehby, Layth Sliman, Abed Ellatif Samhat, Abdelhamid Mellouk
Smart Contract Based Solution for Secure Distributed SDN. NTMS (2021)
Houssein Hellani, Layth Sliman, Abed Ellatif Samhat, Ernesto Exposito
Tangle the Blockchain: Towards Connecting Blockchain and DAG. WETICE (2021)
Layth Sliman, Tasnime Omrani, Zahir Tari, Abed Ellatif Samhat, Rhouma Rhouma
Towards an ultra lightweight block ciphers for Internet of Things. J. Inf. Secur. Appl. 61 (2021)
Houssein Hellani, Layth Sliman, Abed Ellatif Samhat, Ernesto Exposito
Computing Resource Allocation Scheme for DAG-Based IOTA Nodes. Sensors 21 (14) (2021)
Bachar Kachouh, Khalil Hariss, Layth Sliman, Abed Ellatif Samhat, Tamim Alsuliman
Privacy preservation of genome data analysis using homomorphic encryption. Serv. Oriented Comput. Appl. 15 (4) (2021)
Wafa Ben Slama Souei, Chiraz El Hog, Layth Sliman, Raoudha Ben Djemaa, Ikram Amous Ben Amor
Towards a Uniform Description Language for Smart Contract. WETICE (2021)
Nawel Hamdi, Chiraz El Hog, Raoudha Ben Djemaa, Layth Sliman
A Survey on SLA Management Using Blockchain Based Smart Contracts. ISDA (2021)
Saliha Artabaz, Layth Sliman, Karima Benatchba, Mouloud Koudil
Optimized multi-biometric enhancement analysis. IET Biom. 10 (3) (2021)
Amira Jablaoui, Hichem Kmimech, Layth Sliman, Lotfi Nabli
A Rank Based ACO Approach for Optimal Resource Allocation and Scheduling in FMS Modeled with Labelled Petri Net. SoMeT (2021)
Hichem Kmimech, Achraf Jabeur Telmoudi, Layth Sliman, Lotfi Nabli
Genetic-Based Approach for Minimum Initial Marking Estimation in Labeled Petri Nets. IEEE Access 8 (2020)
Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Abdelhamid Mellouk
On the Verification of Smart Contracts: A Systematic Review. ICBC (2020)
Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Abdelhamid Mellouk
Verification of smart contracts: A survey. Pervasive Mob. Comput. 67 (2020)
Motaz Ben Hassine, Mourad Kmimech, Hussein Hellani, Layth Sliman
Toward a Mixed Tangle-Blockchain Architecture. SoMeT (2020)
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Layth Sliman, Mourad Kmimech
An MDE-Based Tool for Early Analysis of UML2.0/PSM Atomic and Composite Components. IEEE Syst. J. 14 (2) (2020)
Hichem Kmimech, Layth Sliman, Lotfi Nabli
GRASP-Based Approach for Minimum Initial Marking Estimation in Labeled Petri Nets. SKG (2019)
Saliha Artabaz, Layth Sliman
Study of Score Fusion and Quality Weighting in the Bio-Secure DS2 Database. SCDS (2019)
Imed Abbassi, Layth Sliman, Mohamed Graiet, Walid Gaaloul
On the Verification of Data Encryption Requirements in Internet of Things Using Event-B. ICDEc (2019)
Tasnime Omrani, Layth Sliman
A New Lightweight Encryption Approach for Correlated Content Exchange in Internet of Things. FNSS (2019)
Hichem Kmimech, Achraf Jabeur Telmoudi, Layth Sliman, Lotfi Nabli
Minimum Initial Marking Estimation in Labeled Petri Nets Using Simulated Annealing. SoMeT (2019)
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
On semantic detection of cloud API (anti)patterns. Inf. Softw. Technol. 107 (2019)
Hussein Hellani, Layth Sliman, Motaz Ben Hassine, Abed Ellatif Samhat, Ernesto Exposito, Mourad Kmimech
Tangle the Blockchain: Toward IOTA and Blockchain Integration for IoT Environment. HIS (2019)
Tasnime Omrani, Rhouma Rhouma, Layth Sliman
Lightweight Cryptography for Resource-Constrained Devices: A Comparative Study and Rectangle Cryptanalysis. ICDEc (2018)
Layth Sliman, Hachemi Nabil Dellys
Security, Safety and Confidentiality in IoT for Collaborative Business Technologies (SSCIoT Track of WETICE 2018). WETICE (2018)
Hachemi Nabil Dellys, Karima Benatchba, Layth Sliman, Yen-Wei Chen
Chaff-Points Generation Method Based on Adaptive Genetic Algorithms and Non-Fixed Size Squares Boundaries for Resource Constrained Devices. NTMS (2018)
Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Walid Gaaloul
Trustless Blockchain-based Access Control in Dynamic Collaboration. BDCSIntell (2018)
Alok Chauhan, V. Vijayakumar, Layth Sliman
Ontology Matching Techniques: A Gold Standard Model. CoRR (2018)
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman
A Generic Approach for the Verification of Static and Dynamic Behavioral Properties of SCDL/WS-BPEL Service-Component Architectures. PDCAT (2018)
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman
UML2ADA for Early Verification of Concurrency Inside the UML2.0 Atomic Components. ISDA (2017)
Imed Abbassi, Mohamed Graiet, Sindyana Jlassi, Abir Elkhalfa, Layth Sliman
A Formal Approach for Correct Elastic Package-Based Free and Open Source Software Composition in Cloud. OTM Conferences (1) (2017)
Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui
Towards a Formal Verification Approach for Service Component Architecture. SoMeT (2017)
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Layth Sliman, Mourad Kmimech
Towards a formal approach for the verification of SCA/BPEL software architectures. IISA (2017)
Amal Ayach, Layth Sliman, Mourad Kmimech, Mohamed Tahar Bhiri, Badran Raddaoui
Towards a Formal Verification Approach for Cloud Software Architecture. SoMeT (2017)
Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui
Behavioral Verification of Service Component Architecture. WETICE (2017)
Saliha Artabaz, Layth Sliman, Hachemi Nabil Dellys, Karima Benatchba, Mouloud Koudil
Multibiometrics Enhancement Using Quality Measurement in Score Level Fusion. ISDA (2016)
Samih Souissi, Ahmed Serhrouchni, Layth Sliman, Benoit Charroux
Security Incident Response: Towards a Novel Decision-Making System. ISDA (2016)
Hachemi Nabil Dellys, Layth Sliman, Saliha Artabaz, Karima Benatchba, Mouloud Koudil
Chaff-Points Generation Using Knapsack Problem Resolution in Fingerprint Fuzzy Vault. HIS (2016)
Hayet Brabra, Achraf Mtibaa, Layth Sliman, Walid Gaaloul, Faïez Gargouri
Semantic Web Technologies in Cloud Computing: A Systematic Literature Review. SCC (2016)
Hayet Brabra, Achraf Mtibaa, Layth Sliman, Walid Gaaloul, Boualem Benatallah, Faïez Gargouri
Detecting Cloud (Anti)Patterns: OCCI Perspective. ICSOC (2016)
Tasnime Omrani, Layth Sliman, Rabei Becheikh, Safya Belghith, Belgacem Ben Hedia
Towards an Ultra-lightweight Cryptosystem for IoT. SoCPaR (2016)
Hachemi Nabil Dellys, Noussaiba Benadjimi, Meriem Romaissa Boubakeur, Layth Sliman, Karima Benatchba, Saliha Artabaz, Mouloud Koudil
A Critical Comparison of Fingerprint Fuzzy Vault Techniques. IVIC (2015)
Samih Souissi, Layth Sliman, Benoit Charroux
A Novel Security Architecture Based on Multi-level Rule Expression Language. HIS (2015)
Saliha Artabaz, Layth Sliman, Karima Benatchba, Hachemi Nabil Dellys, Mouloud Koudil
Score Level Fusion Scheme in Hybrid Multibiometric System. IVIC (2015)
Hachemi Nabil Dellys, Noussaiba Benadjimi, Meriem Romaissa Boubakeur, Layth Sliman, Fathelalem F. Ali
Fingerprint fuzzy vault chaff point generation by squares method. SoCPaR (2015)
Benoit Charroux, Layth Sliman, Yvan Stroppa, Nistor Grozavu
Compose: A Domain Specific Language for scientific code computation. CFIP/NOTERE (2015)
Nour Assy, Walid Gaaloul, Layth Sliman, Bruno Defude
Configuration assistée des processus métier. Conception et expérimentation. Ingénierie des Systèmes d Inf. 20 (6) (2015)
Sahar A. Osman, Fathelalem F. Ali, Mohamed E. Musa, Layth Sliman
Towards an effective e-government framework: Tasks and instruments for design and evaluation of public sector websites. ISDA (2014)
Layth Sliman, Benoit Charroux, Yvan Stroppa
Distributed Framework for Big Data Processing: a Goal Driven Approach. IDT/IIMSS/STET (2014)
Asama Kuder Nseaf, Azizah Jaafar, Layth Sliman, Riza Sulaiman, Rahmita Wirza O. K. Rahmat
Model of Bayesian Tangent Eye Shape for eye capture. ISDA (2014)
Layth Sliman, Benoit Charroux, Yvan Stroppa
A New Collaborative and Cloud Based Simulation as a Service Platform: Towards a Multidisciplinary Research Simulation Support. UKSim (2013)
Layth Sliman, Benoit Charroux, Yvan Stroppa
RunMyCode: An innovative platform for social production and evaluation of scientific research. CASoN (2012)
Layth Sliman, Frédérique Biennier, Youakim Badr
A security policy framework for context-aware and user preferences in e-services. J. Syst. Archit. 55 (4) (2009)
Layth Sliman, Frédérique Biennier, Youakim Badr
Collaborative Business and Enterprise Urbanization: Towards a Production-Oriented Urbanization Strategy. Int. J. Enterp. Inf. Syst. 5 (1) (2009)
Alida Esper, Layth Sliman, Youakim Badr, Frédérique Biennier
Towards Secured and Interoperable Business Services. IESA (2008)