Smali+: An Operational Semantics for Low-Level Code Generated from Reverse Engineering Android Applications
Ziadia, Marwa, Fattahi, Jaouhar, Mejri, Mohamed, Pricop, Emil
Published in Information (Basel) (01.03.2020)
Published in Information (Basel) (01.03.2020)
Get full text
Journal Article
FingFor: a Deep Learning Tool for Biometric Forensics
Fattahi, Jaouhar, Lakdher, Baha Eddine, Mejri, Mohamed, Ghayoula, Ridha, Manai, Elyes, Ziadia, Marwa
Published in 2024 10th International Conference on Control, Decision and Information Technologies (CoDIT) (01.07.2024)
Published in 2024 10th International Conference on Control, Decision and Information Technologies (CoDIT) (01.07.2024)
Get full text
Conference Proceeding
Sexism Discovery using CNN, Word Embeddings, NLP and Data Augmentation
Fattahi, Jaouhar, Sghaier, Feriel, Mejri, Mohamed, Ghayoula, Ridha, Bahroun, Sahbi, Ziadia, Marwa
Published in 2024 10th International Conference on Control, Decision and Information Technologies (CoDIT) (01.07.2024)
Published in 2024 10th International Conference on Control, Decision and Information Technologies (CoDIT) (01.07.2024)
Get full text
Conference Proceeding
FPGA Implementation of SIMON-128 Cryptographic Algorithm Using Artix-7
Ghayoula, Ridha, Fattahi, Jaouhar, Smida, Amor, Gmati, Issam El, Pricop, Emil, Ziadia, Marwa
Year of Publication 04.01.2023
Year of Publication 04.01.2023
Get full text
Journal Article
FPGA Implementation of SIMON-128 Cryptographic Algorithm Using Artix-7
Ghayoula, Ridha, Fattahi, Jaouhar, Smida, Amor, El Gmati, Issam, Pricop, Emil, Ziadia, Marwa
Published in 2022 14th International Conference on Electronics, Computers and Artificial Intelligence (ECAI) (30.06.2022)
Published in 2022 14th International Conference on Electronics, Computers and Artificial Intelligence (ECAI) (30.06.2022)
Get full text
Conference Proceeding
K\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {K}$$\end{document}-Smali: An Executable Semantics for Program Verification of Reversed Android Applications
Ziadia, Marwa, Mejri, Mohamed, Fattahi, Jaouhar
Published in Foundations and Practice of Security (2022)
Published in Foundations and Practice of Security (2022)
Get full text
Book Chapter
Witness-functions versus interpretation-functions for secrecy in cryptographic protocols: What to choose?
Fattahi, Jaouhar, Mejri, Mohamed, Ziadia, Marwa, Omrani, Takwa, Pricop, Emil
Published in 2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC) (01.10.2017)
Published in 2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC) (01.10.2017)
Get full text
Conference Proceeding
Fuel-Cell and Battery Hybrid Source Optimal Power Management for Electric Mobility
Amamou, Ali, Ziadia, Marwa, Kelouwani, Sousso, Agbossou, Kodjo, Dube, Yves
Published in 2018 IEEE Vehicle Power and Propulsion Conference (VPPC) (01.08.2018)
Published in 2018 IEEE Vehicle Power and Propulsion Conference (VPPC) (01.08.2018)
Get full text
Conference Proceeding
Witness-Functions versus Interpretation-Functions for Secrecy in Cryptographic Protocols: What to Choose?
Fattahi, Jaouhar, Mejri, Mohamed, Ziadia, Marwa, Omrani, Takwa, Pricop, Emil
Published in arXiv.org (28.07.2017)
Published in arXiv.org (28.07.2017)
Get full text
Paper
Journal Article
FPGA Implementation of SIMON-128 Cryptographic Algorithm Using Artix-7
Ghayoula, Ridha, Fattahi, Jaouhar, Smida, Amor, Issam El Gmati, Pricop, Emil, Ziadia, Marwa
Published in arXiv.org (05.01.2023)
Get full text
Published in arXiv.org (05.01.2023)
Paper
Cryptographic protocol for multipart missions involving two independent and distributed decision levels in a military context
Fattahi, Jaouhar, Mejri, Mohamed, Ziadia, Marwa, Ghayoula, Elies, Samoud, Ouejdene, Pricop, Emil
Published in 2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC) (01.10.2017)
Published in 2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC) (01.10.2017)
Get full text
Conference Proceeding
Cryptographic Protocol for Multipart Missions Involving Two Independent and Distributed Decision Levels in a Military Context
Fattahi, Jaouhar, Mejri, Mohamed, Ziadia, Marwa, Samoud, Ouejdene, Elies Ghayoula, Pricop, Emil
Published in arXiv.org (28.07.2017)
Published in arXiv.org (28.07.2017)
Get full text
Paper
Journal Article