DICE*: A Formally Verified Implementation of DICE Measured Boot

Download PDF
Open Webpage

Zhe Tao, Aseem Rastogi, Naman Gupta, Kapil Vaswani, Aditya V. Thakur

Published: 01 Jan 2021, Last Modified: 15 May 2024USENIX Security Symposium 2021EveryoneRevisionsBibTeXCC BY-SA 4.0