Sign in
Nabil Haddad
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Model Checker
Computational Tools
Reverse Engineering
Formal Verification
Top Venues
Int. J. Inf. Comput. Secur.
</>
Publications
</>
Oualid Demigha
,
Nabil Haddad
Formal verification of software-only mechanisms for live migration of SGX enclaves.
Int. J. Inf. Comput. Secur.
22 (2) (2023)