Marwa Ziadia

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 15

Top Topics

Policy Enforcement

Reverse Engineer

Operational Semantics

Gradient Boosting

Top Venues

Publications

Marwa Ziadia, Sousso Kelouwani, Ali Akrem Amamou, Kodjo Agbossou
An Adaptive Regenerative Braking Strategy Design Based on Naturalistic Regeneration Performance for Intelligent Vehicles. IEEE Access 11 (2023)
Ridha Ghayoula, Jaouhar Fattahi, Amor Smida, Issam El Gmati, Emil Pricop, Marwa Ziadia
FPGA Implementation of SIMON-128 Cryptographic Algorithm Using Artix-7. CoRR (2023)
Ridha Ghayoula, Jaouhar Fattahi, Amor Smida, Issam El Gmati, Emil Pricop, Marwa Ziadia
FPGA Implementation of SIMON-128 Cryptographic Algorithm Using Artix-7. ECAI (2022)
Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia, Ridha Ghayoula
SpamDL: A High Performance Deep Learning Spam Detector Using Stanford Global Vectors and Bidirectional Long Short-Term Memory Neural Networks. SoMeT (2022)
Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia
Extreme Gradient Boosting for Cyberpropaganda Detection. SoMeT (2021)
Marwa Ziadia, Mohamed Mejri, Jaouhar Fattahi
$\mathbb {K}$-Smali: An Executable Semantics for Program Verification of Reversed Android Applications. FPS (2021)
Jaouhar Fattahi, Marwa Ziadia, Mohamed Mejri
Cyber Racism Detection Using Bidirectional Gated Recurrent Units and Word Embeddings. SoMeT (2021)
Marwa Ziadia, Mohamed Mejri, Jaouhar Fattahi
Formal and Automatic Security Policy Enforcement on Android Applications by Rewriting. SoMeT (2021)
Marwa Ziadia, Jaouhar Fattahi, Mohamed Mejri, Emil Pricop
Smali+: An Operational Semantics for Low-Level Code Generated from Reverse Engineering Android Applications. Inf. 11 (3) (2020)
Marwa Ziadia, Sousso Kelouwani, Ali Akrem Amamou, Yves Dubé, Kodjo Agbossou
Using an Intelligent Vision System for Obstacle Detection in Winter Condition. VEHITS (2019)
Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia, Takwa Omrani, Emil Pricop
Witness-functions versus interpretation-functions for secrecy in cryptographic protocols: What to choose? SMC (2017)
Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia, Takwa Omrani, Emil Pricop
Witness-Functions versus Interpretation-Functions for Secrecy in Cryptographic Protocols: What to Choose? CoRR (2017)
Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia, Elies Ghayoula, Ouejdene Samoud, Emil Pricop
Cryptographic protocol for multipart missions involving two independent and distributed decision levels in a military context. SMC (2017)
Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia, Ouejdene Samoud, Elies Ghayoula, Emil Pricop
Cryptographic Protocol for Multipart Missions Involving Two Independent and Distributed Decision Levels in a Military Context. CoRR (2017)
Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia, Emil Pricop, Ouejdene Samoud
Introduction to SinJAR (a New Tool for Reverse Engineering Java Applications) and Tracing Its Malicious Actions Using Hidden Markov Models. SoMeT (2017)
Marwa Ziadia, Mohamed Mejri
Formal Enforcement of Security Policies on Parallel Systems with Risk Integration. C2SI (2015)