DICE*: A Formally Verified Implementation of DICE Measured Boot

From Aditya Thakur  

views comments