34 citations · 77 across the 12 of their papers we have counts for
1 paper · 1 filter
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…