gilhooleyd / CBMC-Vboot

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

Geek Repo

Github PK Tool