Remote attestation; Data centers; Formal verification; Trusted execution environment; Intel SGX; Data center attestation primitives;
机译:使用英特尔SGX进行虚拟机的远程证明和完整性测量
机译:面向对象数据建模的正式基础
机译:使用Intel SGX,最近的邻居搜索加密数据
机译:在英特尔SGX中实现基于增强的隐私ID(EPID)的远程证明的形式化
机译:地震能量耗散,自定心和腐败基础的沉降:对数值模拟比较的实验数据分析
机译:在国家以患者为中心的临床研究网络(PCORnet®)中评估基础数据质量
机译:SGX-UAM:通过Intel SGX进行一次安全的统一访问管理方案,其中包含一次密码