Formal Foundations for Intel SGX Data Center Attestation Primitives
Muhammad Usama Sardar, Rasha Faqeh, Christof Fetzer
Topics & Concepts
Computer scienceComputer securityConfidentialityFormal verificationData centerAdversaryOperating systemProgramming languageSecurity and Verification in ComputingCloud Data Security SolutionsPhysical Unclonable Functions (PUFs) and Hardware Security