机译:验证编译器保留并发的值相关的信息流安全性
Secure compilationInformation flow securityConcurrencyVerification;
机译:C和汇编程序的信息流安全性的端到端验证
机译:CompCertTSO:经过验证的宽松内存并发编译器
机译:基于身份的公共验证和隐私保护,用于云计算中的数据存储安全
机译:弱内存模型上与价值相关的信息流安全性
机译:复杂系统的信息流安全性的正式端到端验证。
机译:用于存储在云服务中的文件完整性的信任验证的安全体系结构和协议
机译:将信息流安全性编译到最小可信计算基础