Assuring Trusted Computing Bases through Automated Reduction and Validation

Akshith Gunasekaran

Oregon State University