1 citations · 1 across the 1 of their papers we have counts for
1 paper
Sergiu Bursuc, Christian Johansen, Shiwei Xu
Automated verification of security protocols based on dynamic root of trust, typically relying on protected hardware such as TPM, involves several challenges that we address in thi…