Zhe Tao, Aseem Rastogi, Naman Gupta, Kapil Vaswani, Aditya V. Thakur. DICE*: A Formally Verified Implementation of DICE Measured Boot. In Michael Bailey, Rachel Greenstadt, editors, 30th USENIX Security Symposium, USENIX Security 2021, August 11-13, 2021. pages 1091-1107, USENIX Association, 2021. [doi]
Abstract is missing.