1. Efficient and Scalable Verification of Distributed System Integrity using SHIMA Open Access Author: Schiffman, Joshua Serratelli Title: Efficient and Scalable Verification of Distributed System Integrity using SHIMA Graduate Program: Computer Science and Engineering Keywords: trusted computingdistributed systemsintegrity measurement File: Download jschiffm-ms.pdf Committee Members: Trent Ray Jaeger, Thesis Advisor/Co-AdvisorTrent Ray Jaeger, Thesis Advisor/Co-Advisor
2. SHAMON - ESTABLISHING TRUST IN DISTRIBUTED VIRTUALIZED ENVIRONMENTS Open Access Author: St.Clair, Luke Title: SHAMON - ESTABLISHING TRUST IN DISTRIBUTED VIRTUALIZED ENVIRONMENTS Graduate Program: Computer Science and Engineering Keywords: trusted virtualizationvirtualizationtrusted computingformal validation File: Download stclair-ms.pdf Committee Members: Patrick Drew Mcdaniel, Thesis Advisor/Co-AdvisorTrent Ray Jaeger, Thesis Advisor/Co-Advisor
3. Scalable Web Content Attestations Open Access Author: Moyer, Thomas Michael Title: Scalable Web Content Attestations Graduate Program: Computer Science and Engineering Keywords: integrity measurementtrusted computingattestationssecurity File: Download moyer-ms.pdf Committee Members: Patrick Drew Mcdaniel, Thesis Advisor/Co-AdvisorPatrick Drew Mcdaniel, Thesis Advisor/Co-Advisor