DICE*: A Formally Verified Implementation of DICE Measured Boot (bibtex)
by , , , ,
Reference:
DICE*: A Formally Verified Implementation of DICE Measured Boot (Zhe Tao, Aseem Rastogi, Naman Gupta, Kapil Vaswani, Aditya V. Thakur), In 30th Usenix Security Symposium, 2021. (To Appear)
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/},
  note = {To Appear},
}
Powered by bibtexbrowser