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
4. Building Scalable Document Integrity Systems Open Access Author: Moyer, Thomas Michael Title: Building Scalable Document Integrity Systems Graduate Program: Computer Science and Engineering Keywords: computer securitytrusted computingweb systems File: Download moyer.pdf Committee Members: Patrick D. McDaniel, Committee Chair/Co-ChairTrent R. Jaeger, Committee MemberThomas F. LaPorta, Committee MemberConstantino Lagoa, Committee Member