C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Automated verification of dynamic root of trust protocols (long version).
Sergiu Bursuc
Christian Johansen
Shiwei Xu
Published in:
CoRR (2017)
Keyphrases
</>
automated verification
model checking
formal verification
automated reasoning
open environments
artificial intelligence
database systems
logic programs
tree structure
trust model