| 2026 | IOLTS | Error-Resilient State-Space Networks Using Low-Precision Recovery Models. | Jackson Isenberg, Mohamed Mejri, Abhijit Chatterjee |
| 2026 | IOLTS | Variation-Aware Training and Post-Manufacture Tuning of ReRAM Crossbar-Based Hyperdimensional Computing Systems. | Sai Pranav Komaragiri, Anurup Saha, Mohamed Mejri, Abhijit Chatterjee |
| 2026 | IOLTS | Efficient Multiple Error Correction in Binary HDC Systems Using Majority-Encoded Hypervector Matrices. | Mohamed Mejri, Abhijit Chatterjee |
| 2025 | CoDIT | Cyber-Troll Detection using Deep Learning and NLP: A Comparative Study. | Djibrim Mahaman Tahir M. Atto, Jaouhar Fattahi, Mohamed Mejri, Brahim Hnich, Abdoul Majid O. Thiombiano |
| 2025 | CoDIT | A BERT Deep Learning Model for Arabic Spam Detection. | Hadir Driss, Jaouhar Fattahi, Mohamed Mejri, Sahbi Bahroun, Ridha Ghayoula |
| 2025 | CoDIT | Parallel CNN Deep Learning Model for Security Monitoring and Fault Prediction in Electrical Systems. | Jaouhar Fattahi, Mohamed Mejri, Ridha Ghayoula, Laila Boumlik, Feriel Sghaier, Marwa Ziadia |
| 2025 | CoDIT | Inception-based Deep Learning Model for Arabic Audio Emotion Recognition in Forensics. | Jaouhar Fattahi, Mohamed Mejri, Ridha Ghayoula, Sawssen Jalel, Laila Boumlik, Feriel Sghaier |
| 2025 | CoDIT | RansFighter: a GRU-based Tool for Ransomware Detection. | Jaouhar Fattahi, Mohamed Mejri, Ridha Ghayoula, Sawssen Jalel, Laila Boumlik, Feriel Sghaier |
| 2025 | CoDIT | Reassessing CAPTCHAs in the Era of Advanced Deep Learning. | Jaouhar Fattahi, Feriel Sghaier, Mohamed Mejri, Ridha Ghayoula, Nadia Mesghouni |
| 2025 | CoDIT | A LIME-Explained VGG16 Model for Disguise and Makeup Face Recognition in Forensics. | Abdelkarim Khedher, Jaouhar Fattahi, Mohamed Mejri, Ridha Ghayoula, Lassaad Latrach |
| 2025 | CRiSIS | Interpreting Differential Privacy: Linking Privacy Budget to Disclosure Risk. | Mahboobeh Dorafshanian, Mohamed Mejri, Djedjiga Mouheb |
| 2025 | CRiSIS | Improving Hyperledger Indy With Post-quantum and Optimal Credential Attributes Selection Agents. | Pierre Fobougong Saha, Nancy Badran, Mohamed Mejri, Kamel Adi |
| 2025 | IECON | Generative AI for Cybersecurity Awareness Training. | Ahmed Mohamed Ahmed, Mohamed Mejri |
| 2025 | SoMeT | Stress Monitoring Using HRV and Deep Recurrent Neural Networks for Safety in Workplace: A Comparative Analysis. | Ghofrane Mzoughi, Jaouhar Fattahi, Mohamed Mejri, Sahbi Bahroun, Ridha Ghayoula |
| 2024 | CoDIT | FingFor: a Deep Learning Tool for Biometric Forensics. | Jaouhar Fattahi, Baha Eddine Lakdher, Mohamed Mejri, Ridha Ghayoula, Elyes Manai, Marwa Ziadia |
| 2024 | CoDIT | The Good and Bad Seeds of CNN Parallelization in Forensic Facial Recognition. | Jaouhar Fattahi, Baha Eddine Lakdher, Mohamed Mejri, Ridha Ghayoula, Feriel Sghaier, Laila Boumlik |
| 2024 | CoDIT | Sexism Discovery using CNN, Word Embeddings, NLP and Data Augmentation. | Jaouhar Fattahi, Feriel Sghaier, Mohamed Mejri, Ridha Ghayoula, Sahbi Bahroun, Marwa Ziadia |
| 2024 | CoDIT | Handwritten Signature Recognition using Parallel CNNs and Transfer Learning for Forensics. | Jaouhar Fattahi, Feriel Sghaier, Mohamed Mejri, Ridha Ghayoula, Emil Pricop, Baha Eddine Lakdher |
| 2024 | CoDIT | Confusion Matrix Explainability to Improve Model Performance: Application to Network Intrusion Detection. | Elyes Manai, Mohamed Mejri, Jaouhar Fattahi |
| 2024 | CoDIT | Intrusion Detection Explainability by Ensemble Learning with a Case Study. | Elyes Manai, Mohamed Mejri, Jaouhar Fattahi |
| 2024 | ETS | AMS Test Stimulus Generation and Response Analysis Using Hyperdimensional Clustering: Minimizing Misclassification Rate. | Suhasini Komarraju, Mohamed Mejri, Akhil Tammana, Gowsika Dharmaraj, Chandramouli N. Amarnath, Abhijit Chatterjee |
| 2024 | ITC | TEACH: Outlier Oriented Testing of Analog/Mixed-Signal Circuits Using One-class Hyperdimensional Clustering. | Suhasini Komarraju, Mohamed Mejri, Abhijit Chatterjee, Suriyaprakash Natarajan, Prashant Goteti |
| 2024 | VTS | Error Resilient Hyperdimensional Computing Using Hypervector Encoding and Cross-Clustering. | Mohamed Mejri, Chandramouli N. Amarnath, Abhijit Chatterjee |
| 2024 | SECRYPT | Toward the Foundation of Digital Identity Theory. | Pierre Fobougong Saha, Mohamed Mejri, Kamel Adi |
| 2024 | SoMeT | Hands and Palms Recognition by Transfer Learning for Forensics: A Comparative Study. | Jaouhar Fattahi, Obeb Fkiri, Mohamed Mejri, Ridha Ghayoula |
| 2024 | SoMeT | Cyberbullying Detection Using Bag-of-Words, TF-IDF, Parallel CNNs and BiLSTM Neural Networks. | Jaouhar Fattahi, Feriel Sghaier, Mohamed Mejri, Sahbi Bahroun, Ridha Ghayoula, Elyes Manai |
| 2024 | SoMeT | Recognition of Handwritten Tamazight Characters Using ResNet, MobileNet and VGG Transfer Learning. | Jaouhar Fattahi, Feriel Sghaier, Mohamed Mejri, Elyes Manai, Ridha Ghayoula |
| 2024 | SoMeT | Fingerprint Fraud Explainability Using Grad-Cam for Forensic Procedures. | Elyes Manai, Mohamed Mejri, Jaouhar Fattahi |
| 2024 | SoMeT | Detecting and Mitigating the Weakest Cybersecurity Link in an Information System. | Ali Sadeghian, Mohamed Mejri |
| 2023 | ICISSP | Differential Privacy: Toward a Better Tuning of the Privacy Budget (ε) Based on Risk. | Mahboobeh Dorafshanian, Mohamed Mejri |
| 2023 | SoMeT | Enforcing Security Policies Using an Algebraic Approach. | Honor Hounwanou, Mohamed Mejri |
| 2022 | IOLTS | Soft Error Resilient Deep Learning Systems Using Neuron Gradient Statistics. | Chandramouli N. Amarnath, Mohamed Mejri, Kwondo Ma, Abhijit Chatterjee |
| 2022 | SoMeT | SpamDL: A High Performance Deep Learning Spam Detector Using Stanford Global Vectors and Bidirectional Long Short-Term Memory Neural Networks. | Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia, Ridha Ghayoula |
| 2021 | SoMeT | Extreme Gradient Boosting for Cyberpropaganda Detection. | Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia |
| 2021 | SoMeT | Cyber Racism Detection Using Bidirectional Gated Recurrent Units and Word Embeddings. | Jaouhar Fattahi, Marwa Ziadia, Mohamed Mejri |
| 2021 | SoMeT | Toward the Formalization of Business Process Model and Notation. | Honor Hounwanou, Laila Boumlik, Mohamed Mejri |
| 2021 | SoMeT | Formal and Automatic Security Policy Enforcement on Android Applications by Rewriting. | Marwa Ziadia, Mohamed Mejri, Jaouhar Fattahi |
| 2020 | ISNCC | Information security risk assessment based on decomposition probability via Bayesian Network. | Pavel Yermalovich, Mohamed Mejri |
| 2019 | ISCC | Security Enforcement on Web Services Compositions. | Laila Boumlik, Mohamed Mejri |
| 2018 | DeSE | Performance Evaluation of Data Scheduling in IEEE802.16e in VANET Traffic Context. | Khadija Raissi, Mohamed Mejri, Bechir Ben Gouissem |
| 2018 | SoMeT | SinCRY: A Preventive Defense Tool for Detecting Vulnerabilities in Java Applications Integrating Cryptographic Modules. | Jaouhar Fattahi, Mario Couture, Mohamed Mejri |
| 2017 | SMC | Cryptographic protocol for multipart missions involving two independent and distributed decision levels in a military context. | Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia, Elies Ghayoula, Ouejdene Samoud, Emil Pricop |
| 2017 | SMC | Witness-functions versus interpretation-functions for secrecy in cryptographic protocols: What to choose? | Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia, Takwa Omrani, Emil Pricop |
| 2017 | SoMeT | Introduction to SinJAR (a New Tool for Reverse Engineering Java Applications) and Tracing Its Malicious Actions Using Hidden Markov Models. | Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia, Emil Pricop, Ouejdene Samoud |
| 2016 | SMC | Formal reasoning on authentication in security protocols. | Jaouhar Fattahi, Mohamed Mejri, Ridha Ghayoula, Emil Pricop |
| 2016 | TrustCom | Authentication by Witness Functions. | Jaouhar Fattahi, Mohamed Mejri, Emil Pricop |
| 2015 | ICISSP | Clustering Spam Emails into Campaigns. | Mina Sheikh Alishahi, Mohamed Mejri, Nadia Tawbi |
| 2015 | ICSOC | Toward the Formalization of BPEL. | Laila Boumlik, Mohamed Mejri |
| 2015 | SMC | Tracking Security Flaws in Cryptographic Protocols Using Witness-Functions. | Jaouhar Fattahi, Mohamed Mejri, Emil Pricop |
| 2014 | SoMeT | AVTAC : A Framework for Automatic Auditing of Access Control in Windows and Linux Systems. | Khadija Arrachid, Mohamed Mejri, Etienne Theodore Sadio |
| 2013 | SoMeT | Access control validation by ontologies. | Mohamed Mejri, Etienne Theodore Sadio, Khadija Arrachid, Memel Emmanuel Lathe |
| 2010 | PST | Risk analysis in access control systems. | Ji Ma, Kamel Adi, Mohamed Mejri, Luigi Logrippo |
| 2010 | SECRYPT | Rewriting-based Security Enforcement of Concurrent Systems - A Formal Approach. | Mahjoub Langar, Mohamed Mejri, Kamel Adi |
| 2010 | SoMeT | Network Security: Formal and Optimized Configuration. | Marfall N. Fall, Mohamed Mejri |
| 2009 | DBSEC | Using Edit Automata for Rewriting-Based Security Enforcement. | Hakima Ould-Slimane, Mohamed Mejri, Kamel Adi |
| 2009 | SoMeT | Formal Specification and Analysis of Firewalls. | Mohamed Mejri, Kamel Adi, Hamido Fujita |
| 2008 | ICICS | Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study. | Mehdi Talbi, Benjamin Morin, Valrie Viet Triem Tong, Adel Bouhoula, Mohamed Mejri |
| 2008 | SECRYPT | Ensuring the Correctness of Cryptographic Protocols with Respect to Secrecy. | Hanane Houmani, Mohamed Mejri |
| 2008 | SoMeT | Enforcing Security Policies Using Algebraic Approach. | Mohamed Mejri, Hamido Fujita |
| 2007 | SECRYPT | Practical and Universal Interpretation Functions for Secrecy. | Hanane Houmani, Mohamed Mejri |
| 2007 | SoMeT | Automatic Enforcement of Security in Computer Networks. | T. Mechri, Mahjoub Langar, Mohamed Mejri, Hamido Fujita, Yutaka Funyu |
| 2006 | SoMeT | A Decision Procedure for Structured Cryptographic Protocols. | Franois Gagnon, Mohamed Mejri |
| 2006 | SoMeT | A Formal Translation From an Imperative Language With Array to a Declarative Language. | Daniel Godbout, Bchir Ktari, Mohamed Mejri |
| 2006 | SoMeT | Enforcing Security Policies on Programs. | Hakima Ould-Slimane, Mohamed Mejri, Kamel Adi |
| 2005 | SoMeT | LyeeBuilder. | Bchir Ktari, Mohamed Mejri, Daniel Godbout, Hamido Fujita |
| 2004 | ICCSA | Chaotic Protocols. | Mohamed Mejri |
| 2004 | PST | A Declarative Approach to Stateful Intrusion Detection and Network Monitoring. | Mathieu Couture, Bchir Ktari, Mohamed Mejri, Frdric Massicotte |
| 2004 | PST | Formal Implementation of Network Security Policies. | Alexandre Lacasse, Mohamed Mejri, Bchir Ktari |
| 2003 | MFPS | Towards the Correctness of Security Protocols. | Mourad Debbabi, Mohamed Mejri |
| 1998 | ACSAC | An Environment for the Specification and Analysis of Cryptoprotocols. | Mourad Debbabi, Y. Legar, Mohamed Mejri |
| 1997 | ICFEM | Formal Automatic Verification of Authentication Crytographic Protocols. | Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi |
| 1997 | WETICE | From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm. | Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi |