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 | 12 | 2020 |
Cyber racism detection using bidirectional gated recurrent units and word embeddings H Fujita, H Perez-Meana IOS Press 337, 155, 2021 | 5 | 2021 |
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 | 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 |
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 | 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 H Fujita, H Perez-Meana New Trends in Intelligent Software Methodologies, Tools and Techniques …, 2021 | 2 | 2021 |
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 | 2 | 2017 |
SpamDL: A High Performance Deep Learning Spam Detector Using Stanford Global Vectors and Bidirectional Long Short-Term Memory Neural Networks H Fujita New Trends in Intelligent Software Methodologies, Tools and Techniques …, 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 Université Laval, 2022 | | 2022 |