Biblio

Export 1 results:
Filters: Author is Aseem Rastogi  [Clear All Filters]
2021
Tao Z, Rastogi A, Gupta N, Vaswani K, Thakur AV.  2021.  DICE*: A Formally Verified Implementation of DICE Measured Boot. 30th USENIX Security Symposium (USENIX Security 21). :1091--1107.