@inproceedings {272306,
	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 (USENIX Security 21)},
	year = {2021},
	isbn = {978-1-939133-24-3},
	pages = {1091--1107},
	url = {https://www.usenix.org/conference/usenixsecurity21/presentation/tao},
	publisher = {USENIX Association},
	month = aug
}
