Dice*: A Formally Verified Implementation of Dice Measured Boot(usenix.org)
usenix.org
Dice*: A Formally Verified Implementation of Dice Measured Boot
https://www.usenix.org/conference/usenixsecurity21/presentation/tao
0 comments
—
https://www.usenix.org/conference/usenixsecurity21/presentation/tao
—