Formal verification of software-only mechanisms for live migration of SGX enclaves. - Oualid Demigha; Nabil Haddad (Int. J. Inf. Comput. Secur., 2023)

Covariance Based Approach Using Expectation Maximization Algorithm For Forest Height Estimation. - Karima Hadj-rabah; Nabil Haddad; Alessandra Budillon; Gilda Schirinzi (IGARSS, 2024)

Gridless GLRT for Tomographic SAR Detection Using Particle Swarm Optimization Algorithm. - Nabil Haddad; Alessandra Budillon; Karima Hadj-rabah; Azzedine Bouaraba; Lekhmissi Harkati; Mohammed Amine Benbouzid; Gilda Schirinzi (IEEE Geosci. Remote. Sens. Lett., 2024)

Generalized Parametric Iterative Approach for Tomographic SAR Reconstruction. - Nabil Haddad; Azzedine Bouaraba; Karima Hadj-rabah; Alessandra Budillon; Lekhmissi Harkati; Gilda Schirinzi (IEEE Geosci. Remote. Sens. Lett., 2024)

Gradient Descent GLRT Detector for Urban Tomographic SAR Applications. - Nabil Haddad; Karima Hadj-rabah; Alessandra Budillon; Gilda Schirinzi; Azzedine Bouaraba (JURSE, 2025)

Adaptive Coherent Multilook GLRT for SAR Tomography Detection. - Nabil Haddad; Karima Hadj-rabah; Gilda Schirinzi; Azzedine Bouaraba (IEEE Trans. Geosci. Remote. Sens., 2025)

Contextual Tomographic SAR Denoising Approach for Estimating Scatterers' Height and Deformation Velocity. - Karima Hadj-rabah; Nabil Haddad; Gilda Schirinzi; Faiza Hocine (IEEE Trans. Geosci. Remote. Sens., 2025)