Follow
Ziadia marwa
Ziadia marwa
étudiante en doctorat, Université Laval
Verified email at ulaval.ca
Title
Cited by
Cited by
Year
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
72020
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
32017
Formal enforcement of security policies on parallel systems with risk integration
M Ziadia, M Mejri
International Conference on Codes, Cryptology, and Information Security, 133-148, 2015
32015
Extreme Gradient Boosting for Cyberpropaganda Detection
H Fujita, H Perez-Meana
New Trends in Intelligent Software Methodologies, Tools and Techniques …, 2021
12021
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
12021
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
12021
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
12017
Introduction to SinJAR (a New Tool for Reverse Engineering Java Applications) andTracing I tsMaliciousActions Using Hidden Markov Models
J Fattahi, M Mejri, M Ziadia, E Pricop, O Samoud
New Trends in Intelligent Software Methodologies, Tools and Techniques …, 2017
12017
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
2022
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
2022
-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, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–11