@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/},
}