Jaouhar Fattahi

Proceedings of the 15th International Conference on Electronics, 2023

2022

SpamDL: A High Performance Deep Learning Spam Detector Using Stanford Global Vectors and Bidirectional Long Short-Term Memory Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2022

FPGA Implementation of SIMON-128 Cryptographic Algorithm Using Artix-7.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Electronics, 2022

2021

Formal and Automatic Security Policy Enforcement on Android Applications by Rewriting.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2021

Cyber Racism Detection Using Bidirectional Gated Recurrent Units and Word Embeddings.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2021

Extreme Gradient Boosting for Cyberpropaganda Detection.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2021

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

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Conference on Cryptography, Security and Privacy, 2021

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

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Conference on Cryptography, Security and Privacy, 2021

$\mathbb {K}$-Smali: An Executable Semantics for Program Verification of Reversed Android Applications.

[BibT_eX]

[DOI]

Proceedings of the Foundations and Practice of Security - 14th International Symposium, 2021

2020

Smali+: An Operational Semantics for Low-Level Code Generated from Reverse Engineering Android Applications.

[BibT_eX]

[DOI]

Inf., 2020

2019

Towards a reliable approach on scaling in data acquisition.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on System Theory, Control and Computing, 2019

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

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Canadian Conference of Electrical and Computer Engineering, 2019

2018

Relaxed Conditions for Secrecy in a Role-Based Specification.

[BibT_eX]

[DOI]

CoRR, 2018

Circular Antenna Array Design for Breast Cancer Detection.

[BibT_eX]

[DOI]

CoRR, 2018

Fusion of ANN and SVM Classifiers for Network Attack Detection.

[BibT_eX]

[DOI]

Takwa Omrani

Adel Dallali

Bilgacem Chibani Rhaimi

CoRR, 2018

SinCRY: A Preventive Defense Tool for Detecting Vulnerabilities in Java Applications Integrating Cryptographic Modules.

[BibT_eX]

[DOI]

Mario Couture

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2018

A Theorem for Secrecy in Tagged Protocols Using the Theory of Witness-Functions.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Canadian Conference on Electrical & Computer Engineering, 2018

2017

Introduction to SinJAR (a New Tool for Reverse Engineering Java Applications) and Tracing Its Malicious Actions Using Hidden Markov Models.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2017

Radiation pattern synthesis using hybrid fourier-woodward-lawson-neural networks for reliable mimo antenna systems.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017

Witness-functions versus interpretation-functions for secrecy in cryptographic protocols: What to choose?

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017

Cryptographic protocol for multipart missions involving two independent and distributed decision levels in a military context.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017

Method for authentication of sensors connected on Modbus TCP.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Control, 2017

2016

Analyse des protocoles cryptographiques par les fonctions témoins.

[BibT_eX]

[DOI]

PhD thesis, 2016

Authentication by Witness Functions.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016

Sidelobe level reduction in linear array pattern synthesis using Taylor-MUSIC algorithm for reliable IEEE 802.11 MIMO applications.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

Formal reasoning on authentication in security protocols.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

Considerations regarding security issues impact on systems availability.

[BibT_eX]

[DOI]

Sanda Florentina Mihalache

Nicolae Paraschiv

Florin Zamfir

Proceedings of the 8th International Conference on Electronics, 2016

2015

Tracking Security Flaws in Cryptographic Protocols Using Witness-Functions.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Systems, 2015

Secrecy by witness-functions under equational theories.

[BibT_eX]

[DOI]

Proceedings of the 2015 7th International Conference on Electronics, 2015

A slow read attack using cloud.

[BibT_eX]

[DOI]

Darine Ameyed

Fehmi Jaafar

Proceedings of the 2015 7th International Conference on Electronics, 2015

2014

A Semi-Decidable Procedure for Secrecy in Cryptographic Protocols.

[BibT_eX]

[DOI]

CoRR, 2014

Secrecy by witness-functions on increasing protocols.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Electronics, 2014

Secrecy by Witness Functions.

[BibT_eX]

[DOI]