Mohamed Mejri

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 64

Top Venues

Publications

Mahboobeh Dorafshanian, Muhammad Aitsam, Mohamed Mejri, Alessandro G. Di Nuovo
Beyond Data Collection: Safeguarding User Privacy in Social Robotics. ICIT (2024)
Suhasini Komarraju, Mohamed Mejri, Akhil Tammana, Gowsika Dharmaraj, Chandramouli N. Amarnath, Abhijit Chatterjee
AMS Test Stimulus Generation and Response Analysis Using Hyperdimensional Clustering: Minimizing Misclassification Rate. ETS (2024)
Mohamed Mejri, Chandramouli N. Amarnath, Abhijit Chatterjee
A Novel Hyperdimensional Computing Framework for Online Time Series Forecasting on the Edge. CoRR (2024)
Mohamed Mejri, Chandramouli N. Amarnath, Abhijit Chatterjee
LARS-VSA: A Vector Symbolic Architecture For Learning with Abstract Rules. CoRR (2024)
Mohamed Mejri, Chandramouli N. Amarnath, Abhijit Chatterjee
DeepER-HD: An Error Resilient HyperDimensional Computing Framework with DNN Front-End for Feature Selection. LATS (2024)
Chandramouli N. Amarnath, Mohamed Mejri, Kwondo Ma, Abhijit Chatterjee
Error Resilience in Deep Neural Networks Using Neuron Gradient Statistics. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43 (4) (2024)
Mohamed Mejri, Chandramouli N. Amarnath, Abhijit Chatterjee
Error Resilient Hyperdimensional Computing Using Hypervector Encoding and Cross-Clustering. VTS (2024)
Mahboobeh Dorafshanian, Mohamed Mejri
Differential Privacy: Toward a Better Tuning of the Privacy Budget (ε) Based on Risk. ICISSP (2023)
Elyes Manai, Mohamed Mejri, Jaouhar Fattahi
Impact of Feature Encoding on Malware Classification Explainability. CoRR (2023)
Honoré Hounwanou, Mohamed Mejri
Enforcing Security Policies Using an Algebraic Approach. SoMeT (2023)
Saha Fobougong Pierre, Mohamed Mejri
DIDOR: A Decentralized Identifier Based Onion Routing Protocol. SAFER-TEA (2023)
Leina Abdelgalil, Mohamed Mejri
HealthBlock: A Framework for a Collaborative Sharing of Electronic Health Records Based on Blockchain. Future Internet 15 (3) (2023)
Elyes Manai, Mohamed Mejri, Jaouhar Fattahi
Impact of Feature Encoding on Malware Classification Explainability. ECAI (2023)
Abubakr Ibrahim, Mohamed Mejri, Fehmi Jaafar
An Explainable Artificial Intelligence Approach for a Trustworthy Spam Detection. CSR (2023)
Chandramouli N. Amarnath, Mohamed Mejri, Kwondo Ma, Abhijit Chatterjee
Soft Error Resilient Deep Learning Systems Using Neuron Gradient Statistics. IOLTS (2022)
Kwondo Ma, Mohamed Mejri, Chandramouli N. Amarnath, Abhijit Chatterjee
Low Power Neural Network Accelerators Using Collaborative Weight Tuning and Shared Shift-Add optimization. MWSCAS (2022)
Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia, Ridha Ghayoula
SpamDL: A High Performance Deep Learning Spam Detector Using Stanford Global Vectors and Bidirectional Long Short-Term Memory Neural Networks. SoMeT (2022)
Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia
Extreme Gradient Boosting for Cyberpropaganda Detection. SoMeT (2021)
Mohamed Mejri, Aymen Mejri, Oumayma Mejri, Chiraz Fekih
Semantic Segmentation and Object Detection Towards Instance Segmentation: Breast Tumor Identification. CoRR (2021)
Jaouhar Fattahi, Mohamed Mejri
Damaged Fingerprint Recognition by Convolutional Long Short-Term Memory Networks for Forensic Purposes. CSP (2021)
Marwa Ziadia, Mohamed Mejri, Jaouhar Fattahi
$\mathbb {K}$-Smali: An Executable Semantics for Program Verification of Reversed Android Applications. FPS (2021)
Jaouhar Fattahi, Marwa Ziadia, Mohamed Mejri
Cyber Racism Detection Using Bidirectional Gated Recurrent Units and Word Embeddings. SoMeT (2021)
Marwa Ziadia, Mohamed Mejri, Jaouhar Fattahi
Formal and Automatic Security Policy Enforcement on Android Applications by Rewriting. SoMeT (2021)
Honoré Hounwanou, Laila Boumlik, Mohamed Mejri
Toward the Formalization of Business Process Model and Notation. SoMeT (2021)
Jaouhar Fattahi, Mohamed Mejri
SpaML: a Bimodal Ensemble Learning Spam Detector based on NLP Techniques. CSP (2021)
Mohamed Mejri, Hamdi Yahyaoui, Azzam Mourad, Mohamad Chehab
A rewriting system for the assessment of XACML policies relationship. Comput. Secur. 97 (2020)
Mohamed Mejri, Aymen Mejri
RandomForestMLP: An Ensemble-Based Multi-Layer Perceptron Against Curse of Dimensionality. CoRR (2020)
Mohamed Mejri, Antoine Richard, Cédric Pradalier
A Study on Trees's Knots Prediction from their Bark Outer-Shape. CoRR (2020)
Pavel Yermalovich, Mohamed Mejri
Information security risk assessment based on decomposition probability via Bayesian Network. ISNCC (2020)
Mohamed Mejri, Antoine Richard, Cédric Pradalier
A Survey On 3D Inner Structure Prediction from its Outer Shape. CoRR (2020)
Jaouhar Fattahi, Mohamed Mejri
Damaged Fingerprint Recognition by Convolutional Long Short-Term Memory Networks for Forensic Purposes. CoRR (2020)
Marwa Ziadia, Jaouhar Fattahi, Mohamed Mejri, Emil Pricop
Smali+: An Operational Semantics for Low-Level Code Generated from Reverse Engineering Android Applications. Inf. 11 (3) (2020)
Jaouhar Fattahi, Mohamed Mejri
SpaML: a Bimodal Ensemble Learning Spam Detector based on NLP Techniques. CoRR (2020)
Jaouhar Fattahi, Mohamed Mejri, Emil Pricop
On the Security of Cryptographic Protocols Using the Little Theorem of Witness Functions. CCECE (2019)
Jaouhar Fattahi, Mohamed Mejri, Emil Pricop
On the Security of Cryptographic Protocols Using the Little Theorem of Witness Functions. CoRR (2019)
Laila Boumlik, Mohamed Mejri
Security Enforcement on Web Services Compositions. ISCC (2019)
Jaouhar Fattahi, Mohamed Mejri, Emil Pricop
Authentication by Witness Functions. CoRR (2019)
Jaouhar Fattahi, Mario Couture, Mohamed Mejri
SinCRY: A Preventive Defense Tool for Detecting Vulnerabilities in Java Applications Integrating Cryptographic Modules. SoMeT (2018)
Jaouhar Fattahi, Mohamed Mejri
Secrecy by Witness-Functions under Equational Theories. CoRR (2018)
Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani
Relaxed Conditions for Secrecy in a Role-Based Specification. CoRR (2018)
Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani
Secrecy by Witness-Functions on Increasing Protocols. CoRR (2018)
Khadija Raissi, Mohamed Mejri, Bechir Ben Gouissem
Performance Evaluation of Data Scheduling in IEEE802.16e in VANET Traffic Context. DeSE (2018)
Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia, Takwa Omrani, Emil Pricop
Witness-functions versus interpretation-functions for secrecy in cryptographic protocols: What to choose? SMC (2017)
Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia, Takwa Omrani, Emil Pricop
Witness-Functions versus Interpretation-Functions for Secrecy in Cryptographic Protocols: What to Choose? CoRR (2017)
Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia, Elies Ghayoula, Ouejdene Samoud, Emil Pricop
Cryptographic protocol for multipart missions involving two independent and distributed decision levels in a military context. SMC (2017)
Mohamed Mejri, Hamdi Yahyaoui
Formal specification and integration of distributed security policies. Comput. Lang. Syst. Struct. 49 (2017)
Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia, Ouejdene Samoud, Elies Ghayoula, Emil Pricop
Cryptographic Protocol for Multipart Missions Involving Two Independent and Distributed Decision Levels in a Military Context. CoRR (2017)
Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia, Emil Pricop, Ouejdene Samoud
Introduction to SinJAR (a New Tool for Reverse Engineering Java Applications) and Tracing Its Malicious Actions Using Hidden Markov Models. SoMeT (2017)
Mohamed Mejri, Jalel Akaichi
A Survey of Textual Event Extraction from Social Networks. LPKM (2017)
Jaouhar Fattahi, Mohamed Mejri, Ridha Ghayoula, Emil Pricop
Formal reasoning on authentication in security protocols. SMC (2016)
Catherine Boileau, François Gagnon, Jérémie Poisson, Simon Frenette, Mohamed Mejri
A Comparative Study of Android Malware Behavior in Different Contexts. DCNET (2016)
Catherine Boileau, François Gagnon, Jérémie Poisson, Simon Frenette, Mohamed Mejri
Towards Understanding the Role of Execution Context for Observing Malicious Behavior in Android Malware. ICETE (Selected Papers) (2016)
Mina Sheikhalishahi, Mohamed Mejri, Nadia Tawbi
On the Abstraction of a Categorical Clustering Algorithm. MLDM (2016)
Jaouhar Fattahi, Mohamed Mejri, Emil Pricop
Authentication by Witness Functions. Trustcom/BigDataSE/ISPA (2016)
Mohamed Mejri, Hamdi Yahyaoui
A Rewriting System for the Assessment of XACML Policies Similarity. CoRR (2016)
Mina Sheikhalishahi, Mohamed Mejri, Nadia Tawbi, Fabio Martinelli
Privacy-Aware Data Sharing in a Tree-Based Categorical Clustering Algorithm. FPS (2016)
Mina Sheikhalishahi, Andrea Saracino, Mohamed Mejri, Nadia Tawbi, Fabio Martinelli
Fast and Effective Clustering of Spam Emails Based on Structural Similarity. FPS (2015)
Jaouhar Fattahi, Mohamed Mejri
Secrecy by witness-functions under equational theories. ECAI (2015)
Marwa Ziadia, Mohamed Mejri
Formal Enforcement of Security Policies on Parallel Systems with Risk Integration. C2SI (2015)
Guangye Sui, Mohamed Mejri
Security Enforcement by Rewriting: An Algebraic Approach. FPS (2015)
Mina Sheikh Alishahi, Mohamed Mejri, Nadia Tawbi
Clustering Spam Emails into Campaigns. ICISSP (2015)
Jaouhar Fattahi, Mohamed Mejri, Emil Pricop
Tracking Security Flaws in Cryptographic Protocols Using Witness-Functions. SMC (2015)
Laila Boumlik, Mohamed Mejri
Toward the Formalization of BPEL. ICSOC Workshops (2015)
Mina Sheikhalishahi, Andrea Saracino, Mohamed Mejri, Nadia Tawbi, Fabio Martinelli
Digital Waste Sorting: A Goal-Based, Self-Learning Approach to Label Spam Email Campaigns. STM (2015)
Khadija Arrachid, Mohamed Mejri, Etienne Theodore Sadio
AVTAC : A Framework for Automatic Auditing of Access Control in Windows and Linux Systems. SoMeT (2014)
Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani
Secrecy by Witness Functions. FMS @ Petri Nets (2014)
Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani
Secrecy by witness-functions on increasing protocols. ECAI (2014)
Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani
A Semi-Decidable Procedure for Secrecy in Cryptographic Protocols. CoRR (2014)
Mohamed Mejri, Etienne Theodore Sadio, Khadija Arrachid, Memel Emmanuel Lathe
Access control validation by ontologies. SoMeT (2013)
Guangye Sui, Mohamed Mejri
FASER (Formal and Automatic Security Enforcement by Rewriting) by BPA algebra with test. Int. J. Grid Util. Comput. 4 (2/3) (2013)
Hanane Houmani, Mohamed Mejri
Formal Analysis of SET and NSL Protocols Using the Interpretation Functions-Based Method. J. Comput. Networks Commun. 2012 (2012)
Guangye Sui, Mohamed Mejri, Hatem Ben Sta
FASER (Formal and Automatic Security Enforcement by Rewriting): An algebraic approach. CISDA (2012)
Mahjoub Langar, Mohamed Mejri, Kamel Adi
Formal enforcement of security policies on concurrent systems. J. Symb. Comput. 46 (9) (2011)
Mahjoub Langar, Mohamed Mejri, Kamel Adi
Toward an Algebraic Framework for Security Policy Enforcement in Concurrent Systems. Security and Management (2010)
Ji Ma, Kamel Adi, Mohamed Mejri, Luigi Logrippo
Risk analysis in access control systems. PST (2010)
Marfall N. Fall, Mohamed Mejri
Network Security: Formal and Optimized Configuration. SoMeT (2010)
Mahjoub Langar, Mohamed Mejri, Kamel Adi
Rewriting-based Security Enforcement of Concurrent Systems - A Formal Approach. SECRYPT (2010)
Mehdi Talbi, Mohamed Mejri, Adel Bouhoula
Specification and evaluation of polymorphic shellcode properties using a new temporal logic. J. Comput. Virol. 5 (3) (2009)
Mohamed Mejri, Kamel Adi, Hamido Fujita
Formal Specification and Analysis of Firewalls. SoMeT (2009)
Hakima Ould-Slimane, Mohamed Mejri, Kamel Adi
Using Edit Automata for Rewriting-Based Security Enforcement. DBSec (2009)
Hanane Houmani, Mohamed Mejri, Hamido Fujita
Secrecy of cryptographic protocols under equational theory. Knowl. Based Syst. 22 (3) (2009)
Hanane Houmani, Mohamed Mejri
Ensuring the Correctness of Cryptographic Protocols with Respect to Secrecy. SECRYPT (2008)
Mohamed Mejri, Hamido Fujita
Enforcing Security Policies Using Algebraic Approach. SoMeT (2008)
Mehdi Talbi, Benjamin Morin, Valérie Viet Triem Tong, Adel Bouhoula, Mohamed Mejri
Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study. ICICS (2008)
Mehdi Talbi, Meriam Ben Ghorbel, Mohamed Mejri
Intrusion Detection Prototype Based on ADM-Logic. J. Softw. 3 (2) (2008)
Mahjoub Langar, Mohamed Mejri, Kamel Adi
A Formal Approach for Security Policy Enforcement in Concurrent Programs. Security and Management (2007)
Béchir Ktari, Hamido Fujita, Mohamed Mejri, Daniel Godbout
Toward a new software development environment. Knowl. Based Syst. 20 (7) (2007)
T. Mechri, Mahjoub Langar, Mohamed Mejri, Hamido Fujita, Yutaka Funyu
Automatic Enforcement of Security in Computer Networks. SoMeT (2007)
Hanane Houmani, Mohamed Mejri
Practical and Universal Interpretation Functions for Secrecy. SECRYPT (2007)
Hanane Houmani, Mohamed Mejri
Secrecy by interpretation functions. Knowl. Based Syst. 20 (7) (2007)
Meriam Ben Ghorbel, Mehdi Talbi, Mohamed Mejri
Specification and Detection of TCP/IP Based Attacks Using the ADM-Logic. ARES (2007)
François Gagnon, Mohamed Mejri
A Decision Procedure for Structured Cryptographic Protocols. SoMeT (2006)
Daniel Godbout, Béchir Ktari, Mohamed Mejri
A Formal Translation From an Imperative Language With Array to a Declarative Language. SoMeT (2006)
Hakima Ould-Slimane, Mohamed Mejri, Kamel Adi
Enforcing Security Policies on Programs. SoMeT (2006)
Hamido Fujita, Béchir Ktari, Mohamed Mejri
Implementing Lyee-Calculus in Java. Knowl. Based Syst. 19 (2) (2006)
Mohamed Mbarki, Mohamed Mejri, Béchir Ktari
Converting an imperative program to a declarative one. Knowl. Based Syst. 19 (2) (2006)
Mahjoub Langar, Mohamed Mejri
Formal and Efficient Enforcement of Security Policies. FCS (2005)
Béchir Ktari, Mohamed Mejri, Daniel Godbout, Hamido Fujita
LyeeBuilder. SoMeT (2005)
Mohamed Mejri
Chaotic Protocols. ICCSA (1) (2004)
Mathieu Couture, Béchir Ktari, Mohamed Mejri, Frédéric Massicotte
A Declarative Approach to Stateful Intrusion Detection and Network Monitoring. PST (2004)

Mohamed Mejri.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mohamed Mejri