Marwa Ziadia

According to our database, Marwa Ziadia authored at least 6 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Smali+: An Operational Semantics for Low-Level Code Generated from Reverse Engineering Android Applications.

Marwa Ziadia, Jaouhar Fattahi, Mohamed Mejri, Emil Pricop

Inf., 2020

2019

Using an Intelligent Vision System for Obstacle Detection in Winter Condition.

Marwa Ziadia, Sousso Kelouwani, Ali Akrem Amamou, Yves Dubé, Kodjo Agbossou

Proceedings of the 5th International Conference on Vehicle Technology and Intelligent Transport Systems, 2019

2017

Introduction to SinJAR (a New Tool for Reverse Engineering Java Applications) and Tracing Its Malicious Actions Using Hidden Markov Models.

Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia, Emil Pricop, Ouejdene Samoud

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2017

Witness-functions versus interpretation-functions for secrecy in cryptographic protocols: What to choose?

Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia, Takwa Omrani, Emil Pricop

Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017

Cryptographic protocol for multipart missions involving two independent and distributed decision levels in a military context.

Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia, Elies Ghayoula, Ouejdene Samoud, Emil Pricop

Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017

2015

Formal Enforcement of Security Policies on Parallel Systems with Risk Integration.

Marwa Ziadia, Mohamed Mejri

Proceedings of the Codes, Cryptology, and Information Security, 2015