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