1,685 followers
Automated verification of dynamic root of trust protocols (long version). (arXiv:1701.08676v2 [cs.CR] UPDATED) https://t.co/e9CHdEyDjg
Automated verification of dynamic root of trust protocols (long version). (arXiv:1701.08676v2 [cs.CR] UPDATED) https://t.co/e9CHdEyDjg
#arxiv Automated verification of dynamic root of trust protocols (long version) https://t.co/VDNNEMwcEZ