GitHub - gilhooleyd/Verified-Boot-Senior-Thesis: My senior thesis: Verified/Secure Boot: Formal Verification Checking of Firmware and Hardware in a large SoC

gilhooleyd / Verified-Boot-Senior-Thesis Public

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

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 85 Commits
code		code
images		images
sections		sections
submit		submit
Makefile		Makefile
Title.tex		Title.tex
puthesis.cls		puthesis.cls
report.tex		report.tex
sources.bib		sources.bib
thesis.tex		thesis.tex

About

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

No packages published