Title
Automated Verification of Dynamic Root of Trust Protocols.
Year
Venue
DocType
2017
European Joint Conferences on Theory And Practice of Software
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Sergiu Bursuc100.68
Christian Johansen213.40
Shiwei Xu311.36