40 citations · 86 across the 17 of their papers we have counts for
15 papers · 1 filter
Machine Learning and Deep Learning Techniques used in Cybersecurity and Digital Forensics: a Review
Jaouhar Fattahi
In the paced realms of cybersecurity and digital forensics machine learning (ML) and deep learning (DL) have emerged as game changing technologies that introduce methods to identif…
FPGA Implementation of SIMON-128 Cryptographic Algorithm Using Artix-7
Ridha Ghayoula, Jaouhar Fattahi, Amor Smida +3
FPGA is a hardware architecture based on a matrix of programmable and configurable logic circuits thanks to which a large number of functionalities inside the device can be modifie…
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…
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…
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…
A Theorem for Secrecy in Tagged Protocols Using the Theory of Witness-Functions
Jaouhar Fattahi
In this paper, we enunciate the theorem of secrecy in tagged protocols using the theory of witness-functions and we run a formal analysis on a new tagged version of the Needham-Sch…