CCC YC Dice*: A Formally Verified Implementation of Dice Measured Boot Story Published at: October 22, 2022 at 07:59AM Oct 22
