Login / Signup
Nabil Haddad
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Formal Verification
Sea Ice
Emission Tomography
Iterative Reconstruction
Top Venues
IEEE Geosci. Remote. Sens. Lett.
Int. J. Inf. Comput. Secur.
</>
Publications
</>
Nabil Haddad
,
Azzedine Bouaraba
,
Karima Hadj-rabah
,
Alessandra Budillon
,
Lekhmissi Harkati
,
Gilda Schirinzi
Generalized Parametric Iterative Approach for Tomographic SAR Reconstruction.
IEEE Geosci. Remote. Sens. Lett.
21 (2024)
Oualid Demigha
,
Nabil Haddad
Formal verification of software-only mechanisms for live migration of SGX enclaves.
Int. J. Inf. Comput. Secur.
22 (2) (2023)