Smali+: An Operational Semantics for Low-Level Code Generated from Reverse Engineering Android Applications M Ziadia, J Fattahi, M Mejri, E Pricop Information 11 (3), 130, 2020 | 13 | 2020 |
Cyber Racism Detection Using Bidirectional Gated Recurrent Units and Word Embeddings 1 J Fattahi, M Ziadia, M Mejri New Trends in Intelligent Software Methodologies, Tools and Techniques, 155-165, 2021 | 5 | 2021 |
FPGA implementation of SIMON-128 cryptographic algorithm using Artix-7 R Ghayoula, J Fattahi, A Smida, I El Gmati, E Pricop, M Ziadia 2022 14th International Conference on Electronics, Computers and Artificial …, 2022 | 4 | 2022 |
Formal and Automatic Security Policy Enforcement on Android Applications by Rewriting 1 M Ziadia, M Mejri, J Fattahi New Trends in Intelligent Software Methodologies, Tools and Techniques, 85-98, 2021 | 4 | 2021 |
Formal enforcement of security policies on parallel systems with risk integration M Ziadia, M Mejri Codes, Cryptology, and Information Security: First International Conference …, 2015 | 4 | 2015 |
Semantics for Security Policy Enforcement on Android Applications with Practical Cases M Ziadia, M Mejri, J Fattahi Advances in Computational Intelligence and Communication: Selected Papers …, 2022 | 3 | 2022 |
Witness-functions versus interpretation-functions for secrecy in cryptographic protocols: What to choose? J Fattahi, M Mejri, M Ziadia, T Omrani, E Pricop 2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC …, 2017 | 3 | 2017 |
-Smali: An Executable Semantics for Program Verification of Reversed Android Applications M Ziadia, M Mejri, J Fattahi International Symposium on Foundations and Practice of Security, 321-337, 2021 | 2 | 2021 |
Extreme gradient boosting for cyberpropaganda detection J Fattahi, M Mejri, M Ziadia New Trends in Intelligent Software Methodologies, Tools and Techniques, 99-112, 2021 | 2 | 2021 |
Introduction to SinJAR (a New Tool for Reverse Engineering Java Applications) and Tracing Its Malicious Actions Using Hidden Markov Models J Fattahi, M Mejri, M Ziadia, E Pricop, O Samoud New Trends in Intelligent Software Methodologies, Tools and Techniques, 441-453, 2017 | 2 | 2017 |
SpamDL: A High Performance Deep Learning Spam Detector Using Stanford Global Vectors and Bidirectional Long Short-Term Memory Neural Networks J Fattahi, M Mejri, M Ziadia, R Ghayoula New Trends in Intelligent Software Methodologies, Tools and Techniques, 143-162, 2022 | 1 | 2022 |
Cryptographic protocol for multipart missions involving two independent and distributed decision levels in a military context J Fattahi, M Mejri, M Ziadia, E Ghayoula, O Samoud, E Pricop 2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC …, 2017 | 1 | 2017 |
Renforcement formel et automatique de politiques de sécurité dans des applications Android par réécriture M Ziadia | | 2022 |