DICE*: A Formally Verified Implementation of DICE Measured Boot
Tao, Zhe and Rastogi, Aseem and Gupta, Naman and Vaswani, Kapil and Thakur, Aditya V.30th USENIX Security Symposium (USENIX Security ’21 Fall), 2021
@inproceedings{USENIX2021, author = {Tao, Zhe and Rastogi, Aseem and Gupta, Naman and Vaswani, Kapil and Thakur, Aditya V.}, title = {DICE*: A Formally Verified Implementation of DICE Measured Boot}, booktitle = {30th {USENIX} Security Symposium (USENIX Security '21 Fall)}, year = {2021}, note = {To appear} }