Login / Signup
DICE*: A Formally Verified Implementation of DICE Measured Boot.
Zhe Tao
Aseem Rastogi
Naman Gupta
Kapil Vaswani
Aditya V. Thakur
Published in:
USENIX Security Symposium (2021)
Keyphrases
</>
machine learning
parallel implementation
general purpose
case study
three dimensional
high level
data streams
digital libraries
programming language
efficient implementation
implementation details