Mohamed Mejri - RankMe

145 papers A 5B 8C 56Misc 5Journal 42Unranked 29

Year	Rank	Type	Title / Venue / Authors
2026	C	`conf`	Beyond Additive Noise: Derivative-Driven Differential Privacy for IoT Analytics. ICCE Mohamed Mejri, Mahboobeh Dorafshanian, Djedjiga Mouheb
2026	J	`jnl`	DANCE: Dynamic 3D CNN Pruning: Joint Frame, Channel, and Feature Adaptation for Energy Efficiency on the Edge. CoRR Mohamed Mejri, Ashiqur Rasul, Abhijit Chatterjee
2026	J	`jnl`	RESOLVE: Reasoning in Hyperdimensional Spaces With Relational and Object Level Features Using Vector Symbolic Processing. IEEE Access Mohamed Mejri, Chandramouli N. Amarnath, Abhijit Chatterjee
2025	C	`conf`	A BERT Deep Learning Model for Arabic Spam Detection. CoDIT Hadir Driss, Jaouhar Fattahi, Mohamed Mejri, Sahbi Bahroun, Ridha Ghayoula
2025	C	`conf`	A LIME-Explained VGG16 Model for Disguise and Makeup Face Recognition in Forensics. CoDIT Abdelkarim Khedher, Jaouhar Fattahi, Mohamed Mejri, Ridha Ghayoula, Lassaad Latrach
2025	Misc	`conf`	A Proposal for an Ontology to Enhance IT Architecture Resilience. CSR Babacar Mbaye, Mohamed Mejri, Pierre Fobougong Saha
2025	C	`conf`	Cyber-Troll Detection using Deep Learning and NLP: A Comparative Study. CoDIT Djibrim Mahaman Tahir M. Atto, Jaouhar Fattahi, Mohamed Mejri, Brahim Hnich, Abdoul Majid O. Thiombiano
2025	J	`jnl`	Error Resilient Online Reinforcement Learning Using Adaptive Statistical Checks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Chandramouli N. Amarnath, Mohamed Mejri, Jackson Isenberg, Abhijit Chatterjee
2025	C	`conf`	Inception-based Deep Learning Model for Arabic Audio Emotion Recognition in Forensics. CoDIT Jaouhar Fattahi, Mohamed Mejri, Ridha Ghayoula, Sawssen Jalel, Laila Boumlik, Feriel Sghaier
2025	J	`jnl`	MDM-Privacy: A Derivative-Driven Framework for Differential Privacy. IEEE Access Mohamed Mejri, Mahboobeh Dorafshanian, Djedjiga Mouheb
2025	Misc	`conf`	Optimized Security Measure Selection: Leveraging MILP Solvers To Balance Risk And Cost. CSR Pierre Fobougong Saha, Mohamed Mejri, Kamel Adi
2025	C	`conf`	Parallel CNN Deep Learning Model for Security Monitoring and Fault Prediction in Electrical Systems. CoDIT Jaouhar Fattahi, Mohamed Mejri, Ridha Ghayoula, Laila Boumlik, Feriel Sghaier, Marwa Ziadia
2025	C	`conf`	RansFighter: a GRU-based Tool for Ransomware Detection. CoDIT Jaouhar Fattahi, Mohamed Mejri, Ridha Ghayoula, Sawssen Jalel, Laila Boumlik, Feriel Sghaier
2025	C	`conf`	Reassessing CAPTCHAs in the Era of Advanced Deep Learning. CoDIT Jaouhar Fattahi, Feriel Sghaier, Mohamed Mejri, Ridha Ghayoula, Nadia Mesghouni
2025	C	`conf`	Stress Monitoring Using HRV and Deep Recurrent Neural Networks for Safety in Workplace: A Comparative Analysis. SoMeT Ghofrane Mzoughi, Jaouhar Fattahi, Mohamed Mejri, Sahbi Bahroun, Ridha Ghayoula
2024	J	`jnl`	A Novel Hyperdimensional Computing Framework for Online Time Series Forecasting on the Edge. CoRR Mohamed Mejri, Chandramouli N. Amarnath, Abhijit Chatterjee
2024	—	`conf`	ADARE-HD: Adaptive-Resolution Framework for Efficient Object Detection and Tracking via HD-Computing. MWSCAS Mohamed Mejri, Chandramouli N. Amarnath, Abhijit Chatterjee
2024	B	`conf`	AMS Test Stimulus Generation and Response Analysis Using Hyperdimensional Clustering: Minimizing Misclassification Rate. ETS Suhasini Komarraju, Mohamed Mejri, Akhil Tammana, Gowsika Dharmaraj, Chandramouli N. Amarnath, Abhijit Chatterjee
2024	—	`conf`	Beyond Data Collection: Safeguarding User Privacy in Social Robotics. ICIT Mahboobeh Dorafshanian, Muhammad Aitsam, Mohamed Mejri, Alessandro G. Di Nuovo
2024	Misc	`conf`	Can Deep Learning Detect Fake News Better when Adding Context Features? CSR Rachel Ladouceur, Abubakr Hassan, Mohamed Mejri, Fehmi Jaafar
2024	C	`conf`	Confusion Matrix Explainability to Improve Model Performance: Application to Network Intrusion Detection. CoDIT Elyes Manai, Mohamed Mejri, Jaouhar Fattahi
2024	C	`conf`	Cyberbullying Detection Using Bag-of-Words, TF-IDF, Parallel CNNs and BiLSTM Neural Networks. SoMeT Jaouhar Fattahi, Feriel Sghaier, Mohamed Mejri, Sahbi Bahroun, Ridha Ghayoula, Elyes Manai
2024	—	`conf`	DeepER-HD: An Error Resilient HyperDimensional Computing Framework with DNN Front-End for Feature Selection. LATS Mohamed Mejri, Chandramouli N. Amarnath, Abhijit Chatterjee
2024	C	`conf`	Detecting and Mitigating the Weakest Cybersecurity Link in an Information System. SoMeT Ali Sadeghian, Mohamed Mejri
2024	J	`jnl`	Error Resilience in Deep Neural Networks Using Neuron Gradient Statistics. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Chandramouli N. Amarnath, Mohamed Mejri, Kwondo Ma, Abhijit Chatterjee
2024	Misc	`conf`	Error Resilient Hyperdimensional Computing Using Hypervector Encoding and Cross-Clustering. VTS Mohamed Mejri, Chandramouli N. Amarnath, Abhijit Chatterjee
2024	C	`conf`	FingFor: a Deep Learning Tool for Biometric Forensics. CoDIT Jaouhar Fattahi, Baha Eddine Lakdher, Mohamed Mejri, Ridha Ghayoula, Elyes Manai, Marwa Ziadia
2024	C	`conf`	Fingerprint Fraud Explainability Using Grad-Cam for Forensic Procedures. SoMeT Elyes Manai, Mohamed Mejri, Jaouhar Fattahi
2024	C	`conf`	Hands and Palms Recognition by Transfer Learning for Forensics: A Comparative Study. SoMeT Jaouhar Fattahi, Obeb Fkiri, Mohamed Mejri, Ridha Ghayoula
2024	C	`conf`	Handwritten Signature Recognition using Parallel CNNs and Transfer Learning for Forensics. CoDIT Jaouhar Fattahi, Feriel Sghaier, Mohamed Mejri, Ridha Ghayoula, Emil Pricop, Baha Eddine Lakdher
2024	C	`conf`	Intrusion Detection Explainability by Ensemble Learning with a Case Study. CoDIT Elyes Manai, Mohamed Mejri, Jaouhar Fattahi
2024	J	`jnl`	LARS-VSA: A Vector Symbolic Architecture For Learning with Abstract Rules. CoRR Mohamed Mejri, Chandramouli N. Amarnath, Abhijit Chatterjee
2024	—	`conf`	MCM-Llama: A Fine-Tuned Large Language Model for Real-Time Threat Detection through Security Event Correlation. ICECET Mouhamadou Lamine Diakhame, Chérif Diallo, Mohamed Mejri
2024	—	`conf`	Minimizing Model Misclassification Using Regularized Loss Interpretability. IIAI-AAI Elyes Manai, Mohamed Mejri, Jaouhar Fattahi
2024	J	`jnl`	RESOLVE: Relational Reasoning with Symbolic and Object-Level Features Using Vector Symbolic Processing. CoRR Mohamed Mejri, Chandramouli N. Amarnath, Abhijit Chatterjee
2024	C	`conf`	Recognition of Handwritten Tamazight Characters Using ResNet, MobileNet and VGG Transfer Learning. SoMeT Jaouhar Fattahi, Feriel Sghaier, Mohamed Mejri, Elyes Manai, Ridha Ghayoula
2024	C	`conf`	Sexism Discovery using CNN, Word Embeddings, NLP and Data Augmentation. CoDIT Jaouhar Fattahi, Feriel Sghaier, Mohamed Mejri, Ridha Ghayoula, Sahbi Bahroun, Marwa Ziadia
2024	A	`conf`	TEACH: Outlier Oriented Testing of Analog/Mixed-Signal Circuits Using One-class Hyperdimensional Clustering. ITC Suhasini Komarraju, Mohamed Mejri, Abhijit Chatterjee, Suriyaprakash Natarajan, Prashant Goteti
2024	C	`conf`	The Good and Bad Seeds of CNN Parallelization in Forensic Facial Recognition. CoDIT Jaouhar Fattahi, Baha Eddine Lakdher, Mohamed Mejri, Ridha Ghayoula, Feriel Sghaier, Laila Boumlik
2024	C	`conf`	Toward the Foundation of Digital Identity Theory. SECRYPT Pierre Fobougong Saha, Mohamed Mejri, Kamel Adi
2023	Misc	`conf`	An Explainable Artificial Intelligence Approach for a Trustworthy Spam Detection. CSR Abubakr Ibrahim, Mohamed Mejri, Fehmi Jaafar
2023	—	`conf`	DIDOR: A Decentralized Identifier Based Onion Routing Protocol. SAFER-TEA Pierre Fobougong Saha, Mohamed Mejri
2023	C	`conf`	Differential Privacy: Toward a Better Tuning of the Privacy Budget (ε) Based on Risk. ICISSP Mahboobeh Dorafshanian, Mohamed Mejri
2023	C	`conf`	Enforcing Security Policies Using an Algebraic Approach. SoMeT Honoré Hounwanou, Mohamed Mejri
2023	J	`jnl`	HealthBlock: A Framework for a Collaborative Sharing of Electronic Health Records Based on Blockchain. Future Internet Leina Abdelgalil, Mohamed Mejri
2023	A	`conf`	Impact of Feature Encoding on Malware Classification Explainability. ECAI Elyes Manai, Mohamed Mejri, Jaouhar Fattahi
2023	J	`jnl`	Impact of Feature Encoding on Malware Classification Explainability. CoRR Elyes Manai, Mohamed Mejri, Jaouhar Fattahi
2022	—	`conf`	Low Power Neural Network Accelerators Using Collaborative Weight Tuning and Shared Shift-Add optimization. MWSCAS Kwondo Ma, Mohamed Mejri, Chandramouli N. Amarnath, Abhijit Chatterjee
2022	C	`conf`	Soft Error Resilient Deep Learning Systems Using Neuron Gradient Statistics. IOLTS Chandramouli N. Amarnath, Mohamed Mejri, Kwondo Ma, Abhijit Chatterjee
2022	C	`conf`	SpamDL: A High Performance Deep Learning Spam Detector Using Stanford Global Vectors and Bidirectional Long Short-Term Memory Neural Networks. SoMeT Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia, Ridha Ghayoula
2021	—	`conf`	$\mathbb {K}$-Smali: An Executable Semantics for Program Verification of Reversed Android Applications. FPS Marwa Ziadia, Mohamed Mejri, Jaouhar Fattahi
2021	C	`conf`	Cyber Racism Detection Using Bidirectional Gated Recurrent Units and Word Embeddings. SoMeT Jaouhar Fattahi, Marwa Ziadia, Mohamed Mejri
2021	—	`conf`	Damaged Fingerprint Recognition by Convolutional Long Short-Term Memory Networks for Forensic Purposes. CSP Jaouhar Fattahi, Mohamed Mejri
2021	C	`conf`	Extreme Gradient Boosting for Cyberpropaganda Detection. SoMeT Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia
2021	C	`conf`	Formal and Automatic Security Policy Enforcement on Android Applications by Rewriting. SoMeT Marwa Ziadia, Mohamed Mejri, Jaouhar Fattahi
2021	J	`jnl`	Semantic Segmentation and Object Detection Towards Instance Segmentation: Breast Tumor Identification. CoRR Mohamed Mejri, Aymen Mejri, Oumayma Mejri, Chiraz Fekih
2021	—	`conf`	SpaML: a Bimodal Ensemble Learning Spam Detector based on NLP Techniques. CSP Jaouhar Fattahi, Mohamed Mejri
2021	C	`conf`	Toward the Formalization of Business Process Model and Notation. SoMeT Honoré Hounwanou, Laila Boumlik, Mohamed Mejri
2020	J	`jnl`	A Study on Trees's Knots Prediction from their Bark Outer-Shape. CoRR Mohamed Mejri, Antoine Richard, Cédric Pradalier
2020	J	`jnl`	A Survey On 3D Inner Structure Prediction from its Outer Shape. CoRR Mohamed Mejri, Antoine Richard, Cédric Pradalier
2020	J	`jnl`	A rewriting system for the assessment of XACML policies relationship. Comput. Secur. Mohamed Mejri, Hamdi Yahyaoui, Azzam Mourad, Mohamad Chehab
2020	J	`jnl`	Damaged Fingerprint Recognition by Convolutional Long Short-Term Memory Networks for Forensic Purposes. CoRR Jaouhar Fattahi, Mohamed Mejri
2020	C	`conf`	Information security risk assessment based on decomposition probability via Bayesian Network. ISNCC Pavel Yermalovich, Mohamed Mejri
2020	J	`jnl`	RandomForestMLP: An Ensemble-Based Multi-Layer Perceptron Against Curse of Dimensionality. CoRR Mohamed Mejri, Aymen Mejri
2020	J	`jnl`	Smali+: An Operational Semantics for Low-Level Code Generated from Reverse Engineering Android Applications. Inf. Marwa Ziadia, Jaouhar Fattahi, Mohamed Mejri, Emil Pricop
2020	J	`jnl`	SpaML: a Bimodal Ensemble Learning Spam Detector based on NLP Techniques. CoRR Jaouhar Fattahi, Mohamed Mejri
2019	J	`jnl`	Authentication by Witness Functions. CoRR Jaouhar Fattahi, Mohamed Mejri, Emil Pricop
2019	—	`conf`	On the Security of Cryptographic Protocols Using the Little Theorem of Witness Functions. CCECE Jaouhar Fattahi, Mohamed Mejri, Emil Pricop
2019	J	`jnl`	On the Security of Cryptographic Protocols Using the Little Theorem of Witness Functions. CoRR Jaouhar Fattahi, Mohamed Mejri, Emil Pricop
2019	C	`conf`	Security Enforcement on Web Services Compositions. ISCC Laila Boumlik, Mohamed Mejri
2018	C	`conf`	Performance Evaluation of Data Scheduling in IEEE802.16e in VANET Traffic Context. DeSE Khadija Raissi, Mohamed Mejri, Bechir Ben Gouissem
2018	J	`jnl`	Relaxed Conditions for Secrecy in a Role-Based Specification. CoRR Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani
2018	J	`jnl`	Secrecy by Witness-Functions on Increasing Protocols. CoRR Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani
2018	J	`jnl`	Secrecy by Witness-Functions under Equational Theories. CoRR Jaouhar Fattahi, Mohamed Mejri
2018	C	`conf`	SinCRY: A Preventive Defense Tool for Detecting Vulnerabilities in Java Applications Integrating Cryptographic Modules. SoMeT Jaouhar Fattahi, Mario Couture, Mohamed Mejri
2017	—	`conf`	A Survey of Textual Event Extraction from Social Networks. LPKM Mohamed Mejri, Jalel Akaichi
2017	J	`jnl`	Cryptographic Protocol for Multipart Missions Involving Two Independent and Distributed Decision Levels in a Military Context. CoRR Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia, Ouejdene Samoud, Elies Ghayoula, Emil Pricop
2017	B	`conf`	Cryptographic protocol for multipart missions involving two independent and distributed decision levels in a military context. SMC Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia, Elies Ghayoula, Ouejdene Samoud, Emil Pricop
2017	J	`jnl`	Formal specification and integration of distributed security policies. Comput. Lang. Syst. Struct. Mohamed Mejri, Hamdi Yahyaoui
2017	C	`conf`	Introduction to SinJAR (a New Tool for Reverse Engineering Java Applications) and Tracing Its Malicious Actions Using Hidden Markov Models. SoMeT Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia, Emil Pricop, Ouejdene Samoud
2017	J	`jnl`	Witness-Functions versus Interpretation-Functions for Secrecy in Cryptographic Protocols: What to Choose? CoRR Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia, Takwa Omrani, Emil Pricop
2017	B	`conf`	Witness-functions versus interpretation-functions for secrecy in cryptographic protocols: What to choose? SMC Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia, Takwa Omrani, Emil Pricop
2016	—	`conf`	A Comparative Study of Android Malware Behavior in Different Contexts. DCNET Catherine Boileau, François Gagnon, Jérémie Poisson, Simon Frenette, Mohamed Mejri
2016	J	`jnl`	A Rewriting System for the Assessment of XACML Policies Similarity. CoRR Mohamed Mejri, Hamdi Yahyaoui
2016	—	`conf`	Authentication by Witness Functions. Trustcom/BigDataSE/ISPA Jaouhar Fattahi, Mohamed Mejri, Emil Pricop
2016	B	`conf`	Formal reasoning on authentication in security protocols. SMC Jaouhar Fattahi, Mohamed Mejri, Ridha Ghayoula, Emil Pricop
2016	—	`conf`	On the Abstraction of a Categorical Clustering Algorithm. MLDM Mina Sheikhalishahi, Mohamed Mejri, Nadia Tawbi
2016	—	`conf`	Privacy-Aware Data Sharing in a Tree-Based Categorical Clustering Algorithm. FPS Mina Sheikhalishahi, Mohamed Mejri, Nadia Tawbi, Fabio Martinelli
2016	—	`conf`	Towards Understanding the Role of Execution Context for Observing Malicious Behavior in Android Malware. ICETE (Selected Papers) Catherine Boileau, François Gagnon, Jérémie Poisson, Simon Frenette, Mohamed Mejri
2015	C	`conf`	Clustering Spam Emails into Campaigns. ICISSP Mina Sheikh Alishahi, Mohamed Mejri, Nadia Tawbi
2015	—	`conf`	Digital Waste Sorting: A Goal-Based, Self-Learning Approach to Label Spam Email Campaigns. STM Mina Sheikhalishahi, Andrea Saracino, Mohamed Mejri, Nadia Tawbi, Fabio Martinelli
2015	—	`conf`	Fast and Effective Clustering of Spam Emails Based on Structural Similarity. FPS Mina Sheikhalishahi, Andrea Saracino, Mohamed Mejri, Nadia Tawbi, Fabio Martinelli
2015	—	`conf`	Formal Enforcement of Security Policies on Parallel Systems with Risk Integration. C2SI Marwa Ziadia, Mohamed Mejri
2015	A	`conf`	Secrecy by witness-functions under equational theories. ECAI Jaouhar Fattahi, Mohamed Mejri
2015	—	`conf`	Security Enforcement by Rewriting: An Algebraic Approach. FPS Guangye Sui, Mohamed Mejri
2015	—	`conf`	Toward the Formalization of BPEL. ICSOC Workshops Laila Boumlik, Mohamed Mejri
2015	B	`conf`	Tracking Security Flaws in Cryptographic Protocols Using Witness-Functions. SMC Jaouhar Fattahi, Mohamed Mejri, Emil Pricop
2014	J	`jnl`	A Semi-Decidable Procedure for Secrecy in Cryptographic Protocols. CoRR Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani
2014	C	`conf`	AVTAC : A Framework for Automatic Auditing of Access Control in Windows and Linux Systems. SoMeT Khadija Arrachid, Mohamed Mejri, Etienne Theodore Sadio
2014	—	`conf`	Secrecy by Witness Functions. FMS @ Petri Nets Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani
2014	A	`conf`	Secrecy by witness-functions on increasing protocols. ECAI Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani
2013	C	`conf`	Access control validation by ontologies. SoMeT Mohamed Mejri, Etienne Theodore Sadio, Khadija Arrachid, Memel Emmanuel Lathe
2013	J	`jnl`	FASER (Formal and Automatic Security Enforcement by Rewriting) by BPA algebra with test. Int. J. Grid Util. Comput. Guangye Sui, Mohamed Mejri
2012	—	`conf`	FASER (Formal and Automatic Security Enforcement by Rewriting): An algebraic approach. CISDA Guangye Sui, Mohamed Mejri, Hatem Ben Sta
2012	J	`jnl`	Formal Analysis of SET and NSL Protocols Using the Interpretation Functions-Based Method. J. Comput. Networks Commun. Hanane Houmani, Mohamed Mejri
2011	J	`jnl`	Formal enforcement of security policies on concurrent systems. J. Symb. Comput. Mahjoub Langar, Mohamed Mejri, Kamel Adi
2010	C	`conf`	Network Security: Formal and Optimized Configuration. SoMeT Marfall N. Fall, Mohamed Mejri
2010	C	`conf`	Rewriting-based Security Enforcement of Concurrent Systems - A Formal Approach. SECRYPT Mahjoub Langar, Mohamed Mejri, Kamel Adi
2010	C	`conf`	Risk analysis in access control systems. PST Ji Ma, Kamel Adi, Mohamed Mejri, Luigi Logrippo
2010	—	`conf`	Toward an Algebraic Framework for Security Policy Enforcement in Concurrent Systems. Security and Management Mahjoub Langar, Mohamed Mejri, Kamel Adi
2009	C	`conf`	Formal Specification and Analysis of Firewalls. SoMeT Mohamed Mejri, Kamel Adi, Hamido Fujita
2009	J	`jnl`	Secrecy of cryptographic protocols under equational theory. Knowl. Based Syst. Hanane Houmani, Mohamed Mejri, Hamido Fujita
2009	J	`jnl`	Specification and evaluation of polymorphic shellcode properties using a new temporal logic. J. Comput. Virol. Mehdi Talbi, Mohamed Mejri, Adel Bouhoula
2009	B	`conf`	Using Edit Automata for Rewriting-Based Security Enforcement. DBSec Hakima Ould-Slimane, Mohamed Mejri, Kamel Adi
2008	C	`conf`	Enforcing Security Policies Using Algebraic Approach. SoMeT Mohamed Mejri, Hamido Fujita
2008	C	`conf`	Ensuring the Correctness of Cryptographic Protocols with Respect to Secrecy. SECRYPT Hanane Houmani, Mohamed Mejri
2008	J	`jnl`	Intrusion Detection Prototype Based on ADM-Logic. J. Softw. Mehdi Talbi, Meriam Ben Ghorbel, Mohamed Mejri
2008	C	`conf`	Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study. ICICS Mehdi Talbi, Benjamin Morin, Valérie Viet Triem Tong, Adel Bouhoula, Mohamed Mejri
2007	—	`conf`	A Formal Approach for Security Policy Enforcement in Concurrent Programs. Security and Management Mahjoub Langar, Mohamed Mejri, Kamel Adi
2007	C	`conf`	Automatic Enforcement of Security in Computer Networks. SoMeT T. Mechri, Mahjoub Langar, Mohamed Mejri, Hamido Fujita, Yutaka Funyu
2007	C	`conf`	Practical and Universal Interpretation Functions for Secrecy. SECRYPT Hanane Houmani, Mohamed Mejri
2007	J	`jnl`	Secrecy by interpretation functions. Knowl. Based Syst. Hanane Houmani, Mohamed Mejri
2007	B	`conf`	Specification and Detection of TCP/IP Based Attacks Using the ADM-Logic. ARES Meriam Ben Ghorbel, Mehdi Talbi, Mohamed Mejri
2007	J	`jnl`	Toward a new software development environment. Knowl. Based Syst. Béchir Ktari, Hamido Fujita, Mohamed Mejri, Daniel Godbout
2006	C	`conf`	A Decision Procedure for Structured Cryptographic Protocols. SoMeT François Gagnon, Mohamed Mejri
2006	C	`conf`	A Formal Translation From an Imperative Language With Array to a Declarative Language. SoMeT Daniel Godbout, Béchir Ktari, Mohamed Mejri
2006	J	`jnl`	Converting an imperative program to a declarative one. Knowl. Based Syst. Mohamed Mbarki, Mohamed Mejri, Béchir Ktari
2006	C	`conf`	Enforcing Security Policies on Programs. SoMeT Hakima Ould-Slimane, Mohamed Mejri, Kamel Adi
2006	J	`jnl`	Implementing Lyee-Calculus in Java. Knowl. Based Syst. Hamido Fujita, Béchir Ktari, Mohamed Mejri
2006	C	`ed.`	New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifth SoMeT 2006, October 25-27, 2006, Quebec, Canada SoMeT Hamido Fujita, Mohamed Mejri
2005	—	`conf`	Formal and Efficient Enforcement of Security Policies. FCS Mahjoub Langar, Mohamed Mejri
2005	C	`conf`	LyeeBuilder. SoMeT Béchir Ktari, Mohamed Mejri, Daniel Godbout, Hamido Fujita
2005	C	`ed.`	New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifth SoMeT 2005, September 28-30, 2005, Tokyo, Japan SoMeT Hamido Fujita, Mohamed Mejri
2004	C	`conf`	A Declarative Approach to Stateful Intrusion Detection and Network Monitoring. PST Mathieu Couture, Béchir Ktari, Mohamed Mejri, Frédéric Massicotte
2004	J	`jnl`	A process algebra to formalize the Lyee methodology. Knowl. Based Syst. Hamido Fujita, Mohamed Mejri, Béchir Ktari
2004	—	`conf`	Chaotic Protocols. ICCSA (1) Mohamed Mejri
2004	C	`conf`	Formal Implementation of Network Security Policies. PST Alexandre Lacasse, Mohamed Mejri, Béchir Ktari
2003	J	`jnl`	A new logic for electronic commerce protocols. Theor. Comput. Sci. Kamel Adi, Mourad Debbabi, Mohamed Mejri
2003	J	`jnl`	Security by typing. Int. J. Softw. Tools Technol. Transf. Mourad Debbabi, Nancy A. Durgin, Mohamed Mejri, John C. Mitchell
2003	J	`jnl`	Static analysis of Lyee requirements. Knowl. Based Syst. Mohamed Mejri, Béchir Ktari, Hamido Fujita, M. M. Erhioui
2003	B	`conf`	Towards the Correctness of Security Protocols. MFPS Mourad Debbabi, Mohamed Mejri
2000	—	`conf`	A New Logic for Electronic Commerce Protocols. AMAST Kamel Adi, Mourad Debbabi, Mohamed Mejri
1998	A	`conf`	An Environment for the Specification and Analysis of Cryptoprotocols. ACSAC Mourad Debbabi, Y. Legaré, Mohamed Mejri
1997	C	`conf`	Formal Automatic Verification of Authentication Crytographic Protocols. ICFEM Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi
1997	C	`conf`	From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm. WETICE Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi