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
82020
Formal and automatic security policy enforcement on android applications by rewriting
H Fujita, H Perez-Meana
New Trends in Intelligent Software Methodologies, Tools and Techniques …, 2021
32021
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
Codes, Cryptology, and Information Security: First International Conference …, 2015
22015
Cyber racism detection using bidirectional gated recurrent units and word embeddings
H Fujita, H Perez-Meana
New Trends in Intelligent Software Methodologies, Tools and Techniques …, 2021
12021
Extreme gradient boosting for cyberpropaganda detection
H Fujita, H Perez-Meana
New Trends in Intelligent Software Methodologies, Tools and Techniques …, 2021
12021
K semantics for security policy enforcement on android applications with practical cases
M Ziadia, M Mejri, J Fattahi
Springer Nature, 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
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
2022
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
-Smali: An Executable Semantics for Program Verification of Reversed Android Applications
M Ziadia, M Mejri, J Fattahi
Foundations and Practice of Security: 14th International Symposium, FPS 2021 …, 2022
2022
Renforcement formel et automatique de politiques de sécurité dans des applications Android par réécriture
M Ziadia
Université Laval, 2022
2022
SpamDL: A High Performance Deep Learning Spam Detector Using Stanford Global Vectors and Bidirectional Long Short-Term Memory Neural Networks
H Fujita
IOS Press, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–14