Login / Signup

Demystifying Attestation in Intel Trust Domain Extensions via Formal Verification.

Muhammad Usama SardarSaidgani MusaevChristof Fetzer
Published in: IEEE Access (2021)
Keyphrases
  • formal verification
  • model checking
  • trusted computing
  • bounded model checking
  • model checker
  • automated verification
  • domain independent
  • symbolic model checking
  • program slicing
  • domain specific