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 CasesM 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 ApplicationsM 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