Formal verification of software-only mechanisms for live migration of SGX enclaves.

Oualid Demigha Nabil Haddad

Published in: Int. J. Inf. Comput. Secur. (2023)

Keyphrases

formal verification
model checking
program slicing
model checker
symbolic model checking
bounded model checking
software design
automated verification
software systems
knowledge base
software development
development process
software tools
reverse engineering
quality assurance
computational tools