gilhooleyd/Verified-Boot-Senior-Thesis

My senior thesis: Verified/Secure Boot: Formal Verification Checking of Firmware and Hardware in a large SoC

TeX