/CBMC-Vboot

This repo investigates Chrome's Verified Boot (Vboot) through C Bounded Model Checker (CBMC) and the use of the Software TPM library

Primary LanguageC

Stargazers