Automated verification of dynamic root of trust protocols (long version)

30 January 2017

Papers citing "Automated verification of dynamic root of trust protocols (long version)"

2 / 2 papers shown

Title
Automated analysis of security protocols with global state S. Kremer Robert Künnemann 51 95 0 05 Mar 2014
Automatic Verification of Correspondences for Security Protocols B. Blanchet 79 241 0 23 Feb 2008