Login / Signup

Automated Verification of Dynamic Root of Trust Protocols.

Sergiu BursucChristian JohansenShiwei Xu
Published in: POST (2017)
Keyphrases
  • automated verification
  • model checking
  • dynamic environments
  • automated reasoning
  • access control
  • trust model
  • formal verification
  • open environments
  • social networks
  • website
  • random variables
  • combinatorial optimization