• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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