{"id":"https://openalex.org/W4414978595","doi":"https://doi.org/10.1145/3763099","title":"Agora: Trust Less and Open More in Verification for Confidential Computing","display_name":"Agora: Trust Less and Open More in Verification for Confidential Computing","publication_year":2025,"publication_date":"2025-10-09","ids":{"openalex":"https://openalex.org/W4414978595","doi":"https://doi.org/10.1145/3763099"},"language":"en","primary_location":{"id":"doi:10.1145/3763099","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763099","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1145/3763099","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100452321","display_name":"Hongbo Chen","orcid":"https://orcid.org/0000-0001-9922-4351"},"institutions":[{"id":"https://openalex.org/I4210119109","display_name":"Indiana University Bloomington","ror":"https://ror.org/02k40bc56","country_code":"US","type":"education","lineage":["https://openalex.org/I4210119109","https://openalex.org/I592451"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hongbo Chen","raw_affiliation_strings":["Indiana University Bloomington, Bloomington, USA"],"raw_orcid":"https://orcid.org/0000-0001-9922-4351","affiliations":[{"raw_affiliation_string":"Indiana University Bloomington, Bloomington, USA","institution_ids":["https://openalex.org/I4210119109"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Quan Zhou","orcid":"https://orcid.org/0009-0003-3497-7848"},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Quan Zhou","raw_affiliation_strings":["The Pennsylvania State University, University Park, USA"],"raw_orcid":"https://orcid.org/0009-0003-3497-7848","affiliations":[{"raw_affiliation_string":"The Pennsylvania State University, University Park, USA","institution_ids":["https://openalex.org/I130769515"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079124416","display_name":"Sen Yang","orcid":"https://orcid.org/0000-0002-8866-2097"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sen Yang","raw_affiliation_strings":["Yale University, New Haven, USA"],"raw_orcid":"https://orcid.org/0000-0002-8866-2097","affiliations":[{"raw_affiliation_string":"Yale University, New Haven, USA","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086954860","display_name":"Sixuan Dang","orcid":"https://orcid.org/0000-0002-3241-9530"},"institutions":[{"id":"https://openalex.org/I170897317","display_name":"Duke University","ror":"https://ror.org/00py81415","country_code":"US","type":"education","lineage":["https://openalex.org/I170897317"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sixuan Dang","raw_affiliation_strings":["Duke University, Durham, USA"],"raw_orcid":"https://orcid.org/0000-0002-3241-9530","affiliations":[{"raw_affiliation_string":"Duke University, Durham, USA","institution_ids":["https://openalex.org/I170897317"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102377539","display_name":"Xing Han","orcid":"https://orcid.org/0009-0004-9907-0988"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Xing Han","raw_affiliation_strings":["Hong Kong University of Science and Technology, Hong Kong, China"],"raw_orcid":"https://orcid.org/0009-0004-9907-0988","affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100722775","display_name":"Danfeng Zhang","orcid":"https://orcid.org/0000-0003-1942-6872"},"institutions":[{"id":"https://openalex.org/I170897317","display_name":"Duke University","ror":"https://ror.org/00py81415","country_code":"US","type":"education","lineage":["https://openalex.org/I170897317"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Danfeng Zhang","raw_affiliation_strings":["Duke University, Durham, USA"],"raw_orcid":"https://orcid.org/0000-0003-1942-6872","affiliations":[{"raw_affiliation_string":"Duke University, Durham, USA","institution_ids":["https://openalex.org/I170897317"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100403511","display_name":"Fan Zhang","orcid":"https://orcid.org/0000-0002-8525-4514"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Fan Zhang","raw_affiliation_strings":["Yale University, New Haven, USA"],"raw_orcid":"https://orcid.org/0000-0002-8525-4514","affiliations":[{"raw_affiliation_string":"Yale University, New Haven, USA","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066976667","display_name":"XiaoFeng Wang","orcid":"https://orcid.org/0000-0002-0607-4946"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"XiaoFeng Wang","raw_affiliation_strings":["Nanyang Technological University, Singapore, Singapore"],"raw_orcid":"https://orcid.org/0000-0002-0607-4946","affiliations":[{"raw_affiliation_string":"Nanyang Technological University, Singapore, Singapore","institution_ids":["https://openalex.org/I172675005"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.10615257,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"9","issue":"OOPSLA2","first_page":"1372","last_page":"1399"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11614","display_name":"Cloud Data Security Solutions","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9948999881744385,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/assertion","display_name":"Assertion","score":0.5245000123977661},{"id":"https://openalex.org/keywords/trusted-computing-base","display_name":"Trusted computing base","score":0.510699987411499},{"id":"https://openalex.org/keywords/confidentiality","display_name":"Confidentiality","score":0.5004000067710876},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.4855000078678131},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4844000041484833},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4099000096321106},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.3921999931335449},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.3801000118255615},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.36160001158714294}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7971000075340271},{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.5245000123977661},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5149000287055969},{"id":"https://openalex.org/C147346212","wikidata":"https://www.wikidata.org/wiki/Q5492632","display_name":"Trusted computing base","level":4,"score":0.510699987411499},{"id":"https://openalex.org/C71745522","wikidata":"https://www.wikidata.org/wiki/Q2476929","display_name":"Confidentiality","level":2,"score":0.5004000067710876},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.4855000078678131},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4844000041484833},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4099000096321106},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.3921999931335449},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.3801000118255615},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.36160001158714294},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.3472000062465668},{"id":"https://openalex.org/C153701036","wikidata":"https://www.wikidata.org/wiki/Q659974","display_name":"Trustworthiness","level":2,"score":0.3395000100135803},{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.336899995803833},{"id":"https://openalex.org/C2776831232","wikidata":"https://www.wikidata.org/wiki/Q966812","display_name":"Trusted Computing","level":2,"score":0.33559998869895935},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32499998807907104},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.32339999079704285},{"id":"https://openalex.org/C140547941","wikidata":"https://www.wikidata.org/wiki/Q7797194","display_name":"Threat model","level":2,"score":0.31360000371932983},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.3073999881744385},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.30630001425743103},{"id":"https://openalex.org/C2775892892","wikidata":"https://www.wikidata.org/wiki/Q6509517","display_name":"Revocation","level":3,"score":0.3043000102043152},{"id":"https://openalex.org/C122783720","wikidata":"https://www.wikidata.org/wiki/Q183065","display_name":"Interpreter","level":2,"score":0.30390000343322754},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.29269999265670776},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.2912999987602234},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.2840999960899353},{"id":"https://openalex.org/C2779099944","wikidata":"https://www.wikidata.org/wiki/Q4693571","display_name":"Agora","level":2,"score":0.26109999418258667},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.25609999895095825}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3763099","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763099","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:dr.ntu.edu.sg:10356/202447","is_oa":false,"landing_page_url":"https://hdl.handle.net/10356/202447","pdf_url":null,"source":{"id":"https://openalex.org/S4306402609","display_name":"DR-NTU (Nanyang Technological University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I172675005","host_organization_name":"Nanyang Technological University","host_organization_lineage":["https://openalex.org/I172675005"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"Journal Article"}],"best_oa_location":{"id":"doi:10.1145/3763099","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763099","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W165943180","https://openalex.org/W1971626643","https://openalex.org/W1976394633","https://openalex.org/W2016580780","https://openalex.org/W2036910349","https://openalex.org/W2084871158","https://openalex.org/W2463991046","https://openalex.org/W2612997195","https://openalex.org/W2765797110","https://openalex.org/W3015681498","https://openalex.org/W3160448675","https://openalex.org/W4206109607","https://openalex.org/W4244652618","https://openalex.org/W4245602507","https://openalex.org/W4246338960","https://openalex.org/W4256684041","https://openalex.org/W4256716757","https://openalex.org/W4293783507","https://openalex.org/W4298844786","https://openalex.org/W7077057406","https://openalex.org/W7080447180"],"related_works":[],"abstract_inverted_index":{"Confidential":[0],"computing":[1,82],"(CC),":[2],"designed":[3,45],"for":[4,54,161],"security-critical":[5],"scenarios,":[6],"uses":[7],"remote":[8],"attestation":[9],"to":[10,46,68,97,146],"guarantee":[11],"code":[12],"integrity":[13],"on":[14,31],"cloud":[15],"servers.":[16],"However,":[17],"CC":[18],"alone":[19],"cannot":[20],"provide":[21,47],"assurance":[22],"of":[23,134,141,153,177],"high-level":[24],"security":[25,136],"properties":[26],"(e.g.,":[27],"no":[28],"data":[29],"leak)":[30],"the":[32,72,80,109,139,175],"code.":[33],"In":[34],"this":[35],"paper,":[36],"we":[37,59],"introduce":[38],"a":[39,48,87,127],"novel":[40,88],"framework,":[41],"Agora":[42,125,142,154,178],",":[43],"scrupulously":[44],"trustworthy":[49],"and":[50,119,168],"open":[51],"verification":[52,63,133,159],"platform":[53],"CC.":[55],"To":[56,122],"prompt":[57,123],"trustworthiness,":[58],"observe":[60],"that":[61,131],"certain":[62],"tasks":[64],"can":[65],"be":[66],"delegated":[67],"untrusted":[69,144],"entities,":[70],"while":[71],"corresponding":[73],"(smaller)":[74],"validators":[75],"are":[76],"securely":[77],"housed":[78],"within":[79],"trusted":[81],"base":[83],"(TCB).":[84],"Moreover,":[85,138],"through":[86],"blockchain-based":[89],"bounty":[90],"task":[91],"manager,":[92],"it":[93],"also":[94],"utilizes":[95],"crowdsourcing":[96],"remove":[98],"trust":[99],"in":[100,148],"complex":[101,150],"theorem":[102,120],"provers.":[103],"These":[104],"synergistic":[105],"techniques":[106],"successfully":[107],"ameliorate":[108],"TCB":[110],"size":[111],"burden":[112],"associated":[113],"with":[114],"two":[115],"procedures:":[116],"binary":[117],"analysis":[118],"proving.":[121],"openness,":[124],"supports":[126],"versatile":[128],"assertion":[129],"language":[130],"allows":[132],"various":[135],"policies.":[137],"design":[140],"enables":[143],"parties":[145],"participate":[147],"any":[149],"processes":[151],"out":[152],"\u2019s":[155],"TCB.":[156],"By":[157],"implementing":[158],"workflows":[160],"software-based":[162],"fault":[163],"isolation,":[164],"information":[165],"flow":[166],"control,":[167],"side-channel":[169],"mitigation":[170],"policies,":[171],"our":[172],"evaluation":[173],"demonstrates":[174],"efficacy":[176],".":[179]},"counts_by_year":[],"updated_date":"2026-07-17T05:52:16.776730","created_date":"2025-10-09T00:00:00"}