Layth Sliman

93 papers A 1B 5C 25Journal 28Unranked 34
YearRankTypeTitle / Venue / Authors
2026 J jnl
An Ultra-Robust Privacy Preserving Scheme for Federated Learning using Distributed Homomorphic Encryption.
IACR Cryptol. ePrint Arch.
Ikhlas Mastour, Layth Sliman, Boussad Ait Salem, Balthazar Bauer, Raoudha Ben Djemaa, Kamel Barkaoui
2026 J jnl
Defending Against Backdoor Attacks in Homomorphically Encrypted Federated Learning.
IACR Cryptol. ePrint Arch.
Ikhlas Mastour, Imane Haidar, Layth Sliman, Raoudha Ben Djemaa
2026 — conf
GADCA: A MARL-Based Graph-Attentive Decentralized Collision Avoidance Framework for UAV in UTM.
CCNC
Asma Hamissi, Amine Dhraief, Layth Sliman
2026 J jnl
Institutional Approaches to Post-Quantum Cryptography: A Comparative Analysis of Migration Frameworks.
IEEE Access
Mustafa El Bizri, Ahmad M. El-Hajj, Layth Sliman, Ali Massoud Haidar
2026 — conf
LexiGen: A Fine-Grained Synthetic Corpus for GDPR Compliance Analysis.
ICAART (5)
Ali Bouhejba, Aroua Hedhili Sbaï, Souheib Yousfi, Layth Sliman
2026 J jnl
Survey on Biometric Authentication for Decentralized Identity Management: Trends, Challenges, and Future Directions.
Future Internet
Imen Rjab, Layth Sliman
2025 — conf
A Comparative Analysis of Cryptographic Techniques for Privacy Preservation in Blockchain-Based Dispute Resolution.
ICEIS (1)
Yassine Obeid, Christiana Zaraket, Layth Sliman
2025 J jnl
A Comprehensive Survey on Conflict Detection and Resolution in Unmanned Aircraft System Traffic Management.
IEEE Trans. Intell. Transp. Syst.
Asma Hamissi, Amine Dhraief, Layth Sliman
2025 J jnl
A Review on Blockchain Technology, Current Challenges, and AI-Driven Solutions.
ACM Comput. Surv.
Mohamed Moetez Abdelhamid, Layth Sliman, Raoudha Ben Djemaa, Guido Perboli
2025 J jnl
A Review on Safety and Security in Decentralized Extensible Traffic Management Systems.
SN Comput. Sci.
Asma Hamissi, Amine Dhraief, Layth Sliman
2025 — conf
AgriTrustChain: A Decentralized Certification and Edaphic Data Traceability Framework with Zero-Leak for Sustainable Farming Using Blockchain.
ICINCO (2)
Wafa Ben Slama Souei, Mohamed Amine Hattab, Layth Sliman, Raoudha Ben Djemaa, Faiza Khebour Allouche
2025 J jnl
Beyond the Screen: Exploring Privacy Boundaries through Automated User Profiling.
ACM Trans. Priv. Secur.
Jean Mouchotte, Maxence Delong, Layth Sliman
2025 B conf
Compliance Verification of 5G Service Level Agreements using Event-B.
NCA
Riham Badra, Lazhar Hamel, Layth Sliman, Ralp Bou Nader
2025 J jnl
How innovative technologies shape the future of pharmaceutical supply chains.
Comput. Ind. Eng.
Hajer Nabli, Abir Ghannem, Raoudha Ben Djemaa, Layth Sliman
2025 B conf
Methodology to extract full blockchain transactions in NFT Trading.
KES
Johannes Gomolka, Yoan Sapienza, Layth Sliman
2025 B conf
On the integration of Blockchain and legacy systems: a framework for high consistency and low latency of distributed transactions.
KES
Yassine Ayadi, Benoit Charroux, Layth Sliman
2025 J jnl
Optimizing Internet of Things Services Placement in Fog Computing Using Hybrid Recommendation System.
Future Internet
Hanen Ben Rjeb, Layth Sliman, Hela Zorgati, Raoudha Ben Djemaa, Amine Dhraief
2025 J jnl
Physics-Aware Hybrid Estimator for Dynamic Power System Dataset Generation and Cyber Attack Simulation.
IEEE Access
Belkacem Kadri, Layth Sliman, Abdullah Alsaedi, Juhar Ahmed Abdella, Zoubeyr Farah
2025 C conf
Revisiting RELIANCE for Drone Collision Avoidance: Reproducibility and Technical Corrections.
PEMWN
Tejeddine Lakhal, Amine Dhraief, Layth Sliman
2025 — conf
Smart Urban Tree Valorization: An AI-Blockchain-Based Application for the Preservation of Remarkable Trees.
ICINCO (2)
Hajer Nabli, Issra Jegham, Yasmine Zorgati, Rania Ajmi, Raoudha Ben Djemaa, Layth Sliman
2025 J jnl
Wearable sensor-based eye-rubbing monitoring: a hybrid CNN-attentionrub architecture for keratoconus prevention.
J. Supercomput.
Ayoub Louja, Ines Drira, Abdellah Jamali, Najib Naja, Layth Sliman
2024 C conf
Data-Centric Security Model Based on Attribute-Based Cryptography For Healthcare Systems.
MEDES
Bachar Kachouh, Layth Sliman, Abed Ellatif Samhat, Kamel Barkaoui
2024 J jnl
High Performance and Lightweight Single Semi-Lattice Algebraic Machine Learning.
IEEE Access
Imane Haidar, Layth Sliman, Issam W. Damaj, Ali Massoud Haidar
2024 — conf
Hybrid System for Intelligent Context Situation Detection.
CHIRA (2)
Ikhlas Mastour, Hela Zorgati, Raoudha Ben Djemaa, Layth Sliman
2024 J jnl
On Efficiency of Square-Boundaries Chaff Points Generation With Composite Representation in Fingerprint Fuzzy Vault.
IEEE Access
Hachemi Nabil Dellys, Layth Sliman, Brendan Tran Morris, Karima Benatchba
2024 — conf
Smart Contracts Vulnerability Detection Using Transformers.
WISE (5)
Riham Badra, Layth Sliman, Amine Dhraief
2024 — conf
Towards Automatic Smart Contract Generation: Application in Agriculture.
ICSOC Workshops (2)
Ryhem Essid, Wael Sellami, Hatem Hadj Kacem, Layth Sliman
2024 — conf
Towards Blockchain Like SOA.
WISE (3)
Wafa Ben Slama Souei, Benoit Charroux, Layth Sliman, Raoudha Ben Djemaa
2024 — conf
Vision-based Human Fall Detection Systems: A Review.
FNC/MobiSPC/SEIT
Asma Benkaci, Layth Sliman, Hachemi Nabil Dellys
2023 C conf
A Novel Neural Network-Based Recommender System for Drug Recommendation.
EANN
Hadi Al-Mubasher, Ziad Doughan, Layth Sliman, Ali M. Haidar
2023 J jnl
A formal verification approach for composite smart contracts security using FSM.
J. King Saud Univ. Comput. Inf. Sci.
Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Abdelhamid Mellouk
2023 — conf
ABISchain: Towards a Secure and Scalable Blockchain Using Swarm-based Pruning.
ACSW
Mohamed Moetez Abdelhamid, Layth Sliman, Raoudha Ben Djemaa, Boussad Ait Salem
2023 — conf
Demystifying Threshold Elliptic Curve Digital Signature Algorithm for MultiParty Applications.
ACSW
Bachar Kachouh, Layth Sliman, Abed Ellatif Samhat, Kamel Barkaoui
2023 — conf
Fuzzy FCA-based Elderly Activity Recognition.
ICCA
Abir Ghannem, Emily Francis, Hajer Nabli, Layth Sliman, Raoudha Ben Djemaa
2023 C conf
On Safety of Decentralized Unmanned Aircraft System Traffic Management Using Blockchain.
WETICE
Asma Hamissi, Amine Dhraief, Layth Sliman
2023 — conf
Privacy-preserving Collaborative Computation: Methods, Challenges and Directions.
ICCA
Ikhlas Mastour, Layth Sliman, Benoit Charroux, Raoudha Ben Djemaa, Kamel Barkaoui
2023 J jnl
Towards smart contract distributed directory based on the uniform description language.
J. Comput. Lang.
Wafa Ben Slama Souei, Chiraz El Hog, Raoudha Ben Djemaa, Layth Sliman, Ikram Amous Ben Amor
2023 B conf
VNFO-DCSC: A Novel Secure End-to-End NFV Marketplace Using Dynamic Composite Smart Contracts.
GLOBECOM
Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Boussad Ait Salem, Abdelhamid Mellouk
2022 B conf
Never Alone: a Quality of Context-aware Monitoring System for Aging in Place Smart Home.
NCA
Hajer Nabli, Ines Regaig, Raoudha Ben Djemaa, Layth Sliman
2021 C conf
A Rank Based ACO Approach for Optimal Resource Allocation and Scheduling in FMS Modeled with Labelled Petri Net.
SoMeT
Amira Jablaoui, Hichem Kmimech, Layth Sliman, Lotfi Nabli
2021 C conf
A Survey on SLA Management Using Blockchain Based Smart Contracts.
ISDA
Nawel Hamdi, Chiraz El Hog, Raoudha Ben Djemaa, Layth Sliman
2021 J jnl
Computing Resource Allocation Scheme for DAG-Based IOTA Nodes.
Sensors
Houssein Hellani, Layth Sliman, Abed Ellatif Samhat, Ernesto Exposito
2021 J jnl
Optimized multi-biometric enhancement analysis.
IET Biom.
Saliha Artabaz, Layth Sliman, Karima Benatchba, Mouloud Koudil
2021 J jnl
Privacy preservation of genome data analysis using homomorphic encryption.
Serv. Oriented Comput. Appl.
Bachar Kachouh, Khalil Hariss, Layth Sliman, Abed Ellatif Samhat, Tamim Alsuliman
2021 — conf
Smart Contract Based Solution for Secure Distributed SDN.
NTMS
Mouhamad Almakhour, Ayoub Wehby, Layth Sliman, Abed Ellatif Samhat, Abdelhamid Mellouk
2021 C conf
Tangle the Blockchain: Towards Connecting Blockchain and DAG.
WETICE
Houssein Hellani, Layth Sliman, Abed Ellatif Samhat, Ernesto Exposito
2021 C conf
Towards a Uniform Description Language for Smart Contract.
WETICE
Wafa Ben Slama Souei, Chiraz El Hog, Layth Sliman, Raoudha Ben Djemaa, Ikram Amous Ben Amor
2021 J jnl
Towards an ultra lightweight block ciphers for Internet of Things.
J. Inf. Secur. Appl.
Layth Sliman, Tasnime Omrani, Zahir Tari, Abed Ellatif Samhat, Rhouma Rhouma
2020 J jnl
An MDE-Based Tool for Early Analysis of UML2.0/PSM Atomic and Composite Components.
IEEE Syst. J.
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Layth Sliman, Mourad Kmimech
2020 J jnl
Genetic-Based Approach for Minimum Initial Marking Estimation in Labeled Petri Nets.
IEEE Access
Hichem Kmimech, Achraf Jabeur Telmoudi, Layth Sliman, Lotfi Nabli
2020 C conf
On the Verification of Smart Contracts: A Systematic Review.
ICBC
Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Abdelhamid Mellouk
2020 C conf
Toward a Mixed Tangle-Blockchain Architecture.
SoMeT
Motaz Ben Hassine, Mourad Kmimech, Hussein Hellani, Layth Sliman
2020 J jnl
Verification of smart contracts: A survey.
Pervasive Mob. Comput.
Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Abdelhamid Mellouk
2019 — conf
A New Lightweight Encryption Approach for Correlated Content Exchange in Internet of Things.
FNSS
Tasnime Omrani, Layth Sliman
2019 — conf
GRASP-Based Approach for Minimum Initial Marking Estimation in Labeled Petri Nets.
SKG
Hichem Kmimech, Layth Sliman, Lotfi Nabli
2019 C conf
Minimum Initial Marking Estimation in Labeled Petri Nets Using Simulated Annealing.
SoMeT
Hichem Kmimech, Achraf Jabeur Telmoudi, Layth Sliman, Lotfi Nabli
2019 J jnl
On semantic detection of cloud API (anti)patterns.
Inf. Softw. Technol.
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
2019 — conf
On the Verification of Data Encryption Requirements in Internet of Things Using Event-B.
ICDEc
Imed Abbassi, Layth Sliman, Mohamed Graiet, Walid Gaaloul
2019 — conf
Study of Score Fusion and Quality Weighting in the Bio-Secure DS2 Database.
SCDS
Saliha Artabaz, Layth Sliman
2019 C conf
Tangle the Blockchain: Toward IOTA and Blockchain Integration for IoT Environment.
HIS
Hussein Hellani, Layth Sliman, Motaz Ben Hassine, Abed Ellatif Samhat, Ernesto Exposito, Mourad Kmimech
2018 C ed.
27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2018, Paris, France, June 27-29, 2018
WETICE
Layth Sliman, Ismael Bouassida Rodriguez, Kaori Yoshida
2018 C conf
A Generic Approach for the Verification of Static and Dynamic Behavioral Properties of SCDL/WS-BPEL Service-Component Architectures.
PDCAT
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman
2018 — conf
Chaff-Points Generation Method Based on Adaptive Genetic Algorithms and Non-Fixed Size Squares Boundaries for Resource Constrained Devices.
NTMS
Hachemi Nabil Dellys, Karima Benatchba, Layth Sliman, Yen-Wei Chen
2018 — conf
Lightweight Cryptography for Resource-Constrained Devices: A Comparative Study and Rectangle Cryptanalysis.
ICDEc
Tasnime Omrani, Rhouma Rhouma, Layth Sliman
2018 J jnl
Ontology Matching Techniques: A Gold Standard Model.
CoRR
Alok Chauhan, V. Vijayakumar, Layth Sliman
2018 C conf
Security, Safety and Confidentiality in IoT for Collaborative Business Technologies (SSCIoT Track of WETICE 2018).
WETICE
Layth Sliman, Hachemi Nabil Dellys
2018 — conf
Trustless Blockchain-based Access Control in Dynamic Collaboration.
BDCSIntell
Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Walid Gaaloul
2017 — conf
A Formal Approach for Correct Elastic Package-Based Free and Open Source Software Composition in Cloud.
OTM Conferences (1)
Imed Abbassi, Mohamed Graiet, Sindyana Jlassi, Abir Elkhalfa, Layth Sliman
2017 C conf
Behavioral Verification of Service Component Architecture.
WETICE
Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui
2017 C conf
Towards a Formal Verification Approach for Cloud Software Architecture.
SoMeT
Amal Ayach, Layth Sliman, Mourad Kmimech, Mohamed Tahar Bhiri, Badran Raddaoui
2017 C conf
Towards a Formal Verification Approach for Service Component Architecture.
SoMeT
Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui
2017 — conf
Towards a formal approach for the verification of SCA/BPEL software architectures.
IISA
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Layth Sliman, Mourad Kmimech
2017 C conf
UML2ADA for Early Verification of Concurrency Inside the UML2.0 Atomic Components.
ISDA
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman
2016 C conf
Chaff-Points Generation Using Knapsack Problem Resolution in Fingerprint Fuzzy Vault.
HIS
Hachemi Nabil Dellys, Layth Sliman, Saliha Artabaz, Karima Benatchba, Mouloud Koudil
2016 A conf
Detecting Cloud (Anti)Patterns: OCCI Perspective.
ICSOC
Hayet Brabra, Achraf Mtibaa, Layth Sliman, Walid Gaaloul, Boualem Benatallah, Faïez Gargouri
2016 C conf
Multibiometrics Enhancement Using Quality Measurement in Score Level Fusion.
ISDA
Saliha Artabaz, Layth Sliman, Hachemi Nabil Dellys, Karima Benatchba, Mouloud Koudil
2016 C conf
Security Incident Response: Towards a Novel Decision-Making System.
ISDA
Samih Souissi, Ahmed Serhrouchni, Layth Sliman, Benoit Charroux
2016 — conf
Semantic Web Technologies in Cloud Computing: A Systematic Literature Review.
SCC
Hayet Brabra, Achraf Mtibaa, Layth Sliman, Walid Gaaloul, Faïez Gargouri
2016 — conf
Towards an Ultra-lightweight Cryptosystem for IoT.
SoCPaR
Tasnime Omrani, Layth Sliman, Rabei Becheikh, Safya Belghith, Belgacem Ben Hedia
2015 — conf
A Critical Comparison of Fingerprint Fuzzy Vault Techniques.
IVIC
Hachemi Nabil Dellys, Noussaiba Benadjimi, Meriem Romaissa Boubakeur, Layth Sliman, Karima Benatchba, Saliha Artabaz, Mouloud Koudil
2015 C conf
A Novel Security Architecture Based on Multi-level Rule Expression Language.
HIS
Samih Souissi, Layth Sliman, Benoit Charroux
2015 — conf
Compose: A Domain Specific Language for scientific code computation.
CFIP/NOTERE
Benoit Charroux, Layth Sliman, Yvan Stroppa, Nistor Grozavu
2015 J jnl
Configuration assistée des processus métier. Conception et expérimentation.
Ingénierie des Systèmes d Inf.
Nour Assy, Walid Gaaloul, Layth Sliman, Bruno Defude
2015 — conf
Fingerprint fuzzy vault chaff point generation by squares method.
SoCPaR
Hachemi Nabil Dellys, Noussaiba Benadjimi, Meriem Romaissa Boubakeur, Layth Sliman, Fathelalem F. Ali
2015 — conf
Score Level Fusion Scheme in Hybrid Multibiometric System.
IVIC
Saliha Artabaz, Layth Sliman, Karima Benatchba, Hachemi Nabil Dellys, Mouloud Koudil
2014 — conf
Distributed Framework for Big Data Processing: a Goal Driven Approach.
IDT/IIMSS/STET
Layth Sliman, Benoit Charroux, Yvan Stroppa
2014 C conf
Model of Bayesian Tangent Eye Shape for eye capture.
ISDA
Asama Kuder Nseaf, Azizah Jaafar, Layth Sliman, Riza Sulaiman, Rahmita Wirza O. K. Rahmat
2014 C conf
Towards an effective e-government framework: Tasks and instruments for design and evaluation of public sector websites.
ISDA
Sahar A. Osman, Fathelalem F. Ali, Mohamed E. Musa, Layth Sliman
2013 — conf
A New Collaborative and Cloud Based Simulation as a Service Platform: Towards a Multidisciplinary Research Simulation Support.
UKSim
Layth Sliman, Benoit Charroux, Yvan Stroppa
2012 — conf
RunMyCode: An innovative platform for social production and evaluation of scientific research.
CASoN
Layth Sliman, Benoit Charroux, Yvan Stroppa
2009 J jnl
A security policy framework for context-aware and user preferences in e-services.
J. Syst. Archit.
Layth Sliman, Frédérique Biennier, Youakim Badr
2009 J jnl
Collaborative Business and Enterprise Urbanization: Towards a Production-Oriented Urbanization Strategy.
Int. J. Enterp. Inf. Syst.
Layth Sliman, Frédérique Biennier, Youakim Badr
2008 — conf
Towards Secured and Interoperable Business Services.
IESA
Alida Esper, Layth Sliman, Youakim Badr, Frédérique Biennier
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling