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}
}