Treffer: Agora: Trust Less and Open More in Verification for Confidential Computing

Title:
Agora: Trust Less and Open More in Verification for Confidential Computing
Authors:
Chen, Hongbo, Zhou, Quan, Yang, Sen, Dang, Sixuan, Han, Xing, Zhang, Danfeng, Zhang, Fan, Wang, XiaoFeng
Source:
Proceedings of the ACM on Programming Languages. 9(OOPSLA2):1372-1399
Availability:
http://dl.acm.org/doi/10.1145/3763099
Database:
ACM Full-Text Collection