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

Hongbo Chen, Quan Zhou, Sen Yang +4

Binary verification plays a pivotal role in software security, yet building a verification service that is both open and trustworthy poses a formidable challenge. In this paper, we…