by Zhe Tao, Aseem Rastogi, Naman Gupta, Kapil Vaswani and Aditya V. Thakur
Reference:
DICE*: A Formally Verified Implementation of DICE Measured Boot (Zhe Tao, Aseem Rastogi, Naman Gupta, Kapil Vaswani and Aditya V. Thakur), In 30th Usenix Security Symposium, 2021.
Bibtex Entry:
@inproceedings{dice-star,
author = {Zhe Tao and
Aseem Rastogi and
Naman Gupta and
Kapil Vaswani and
Aditya V. Thakur},
title = {{DICE*}: A Formally Verified Implementation of DICE Measured Boot},
booktitle = {30th Usenix Security Symposium},
shortbooktitle = {Usenix Security},
year = 2021,
month = aug,
url = {https://www.microsoft.com/en-us/research/publication/dice-a-formally-verified-implementation-of-dice-measured-boot/},
}