'Sfi checker' presentation slideshows

Formal Methods for Minimizing the DHOSA Trusted Computing Base

Formal Methods for Minimizing the DHOSA Trusted Computing Base. Greg Morrisett, Harvard University with A.Chlipala , P.Govereau , G.Malecha , G.Tan , J.Tassorati , & J.B.Tristan. SVA. Cryptographic secure computation. e.g., Enforce properties on a malicious OS.

333 views • 25 slides