activity
20142023
most citedA Semi-Decidable Procedure for Secrecy in Cryptographic Protocols

3 citations · 16 across the 11 of their papers we have counts for

collaborators

13 papers

cs.LG2023★ 1 cited

Impact of Feature Encoding on Malware Classification Explainability

Elyes Manai, Mohamed Mejri, Jaouhar Fattahi

This paper investigates the impact of feature encoding techniques on the explainability of XAI (Explainable Artificial Intelligence) algorithms. Using a malware classification data…

cs.CV2020

Damaged Fingerprint Recognition by Convolutional Long Short-Term Memory Networks for Forensic Purposes

Jaouhar Fattahi, Mohamed Mejri

Fingerprint recognition is often a game-changing step in establishing evidence against criminals. However, we are increasingly finding that criminals deliberately alter their finge…

cs.CR2020

SpaML: a Bimodal Ensemble Learning Spam Detector based on NLP Techniques

Jaouhar Fattahi, Mohamed Mejri

In this paper, we put forward a new tool, called SpaML, for spam detection using a set of supervised and unsupervised classifiers, and two techniques imbued with Natural Language P…

cs.CR2019★ 2 cited

Authentication by Witness Functions

Jaouhar Fattahi, Mohamed Mejri, Emil Pricop

Witness functions have recently been introduced in cryptographic protocols' literature as a new powerful way to prove protocol correctness with respect to secrecy. In this paper, w…

cs.CR2019

On the Security of Cryptographic Protocols Using the Little Theorem of Witness Functions

Jaouhar Fattahi, Mohamed Mejri, Emil Pricop

In this paper, we show how practical the little theorem of witness functions is in detecting security flaws in some category of cryptographic protocols. We convey a formal analysis…

cs.CR2018★ 2 cited

Relaxed Conditions for Secrecy in a Role-Based Specification

Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani

In this paper, we look at the property of secrecy through the growth of the protocol. Intuitively, an increasing protocol preserves the secret. For that, we need functions to estim…