{"id":"https://openalex.org/W6891832186","doi":"https://doi.org/10.48550/arxiv.2209.15253","title":"Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing","display_name":"Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing","publication_year":2022,"publication_date":"2022-09-30","ids":{"openalex":"https://openalex.org/W6891832186","doi":"https://doi.org/10.48550/arxiv.2209.15253"},"language":"en","primary_location":{"id":"doi:10.48550/arxiv.2209.15253","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2209.15253","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2209.15253","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Lee, Dayeol","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lee, Dayeol","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Cheang, Kevin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cheang, Kevin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Thomas, Alexander","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Thomas, Alexander","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Lu, Catherine","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lu, Catherine","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Gaddamadugu, Pranav","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gaddamadugu, Pranav","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Vahldiek-Oberwagner, Anjo","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Vahldiek-Oberwagner, Anjo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Vij, Mona","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Vij, Mona","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Song, Dawn","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Song, Dawn","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Seshia, Sanjit A.","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Seshia, Sanjit A.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Asanovi\u0107, Krste","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Asanovi\u0107, Krste","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9775999784469604,"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.9775999784469604,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.0019000000320374966,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.0015999999595806003,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/disjoint-sets","display_name":"Disjoint sets","score":0.462799996137619},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.42399999499320984},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.4108000099658966},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.39100000262260437},{"id":"https://openalex.org/keywords/physical-address","display_name":"Physical address","score":0.3783000111579895},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.34150001406669617},{"id":"https://openalex.org/keywords/memory-management","display_name":"Memory management","score":0.33239999413490295}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7493000030517578},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.462799996137619},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.42399999499320984},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.4108000099658966},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.39100000262260437},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3785000145435333},{"id":"https://openalex.org/C41036726","wikidata":"https://www.wikidata.org/wiki/Q844824","display_name":"Physical address","level":3,"score":0.3783000111579895},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.34150001406669617},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3330000042915344},{"id":"https://openalex.org/C176649486","wikidata":"https://www.wikidata.org/wiki/Q2308807","display_name":"Memory management","level":3,"score":0.33239999413490295},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.32510000467300415},{"id":"https://openalex.org/C2985583900","wikidata":"https://www.wikidata.org/wiki/Q722617","display_name":"Formal description","level":2,"score":0.3239000141620636},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.31790000200271606},{"id":"https://openalex.org/C121822524","wikidata":"https://www.wikidata.org/wiki/Q5157582","display_name":"Computer security model","level":2,"score":0.3009999990463257},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2542000114917755},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.2531999945640564}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2209.15253","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2209.15253","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2209.15253","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2209.15253","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Hardware":[0],"enclaves":[1,108,148],"rely":[2],"on":[3,87,163],"a":[4,44,56,80],"disjoint":[5],"memory":[6,19,38,64,99,151],"model,":[7,90,132],"which":[8],"maps":[9],"each":[10],"physical":[11],"address":[12],"to":[13,16,59],"an":[14,93,118,179],"enclave":[15,30,37,63,94,98,181],"achieve":[17],"strong":[18],"isolation.":[20],"However,":[21],"this":[22],"severely":[23],"limits":[24],"the":[25,68,88,123,143,147,157,168,171],"performance":[26],"and":[27,61,78,104],"programmability":[28],"of":[29,49,70,146,173],"programs.":[31],"While":[32],"some":[33],"prior":[34],"work":[35],"proposes":[36],"sharing,":[39],"it":[40,177],"does":[41,138],"not":[42,139],"provide":[43],"formal":[45,57,71,120,165],"model":[46,121],"or":[47,141],"verification":[48,115],"their":[50],"designs.":[51],"This":[52],"paper":[53,169],"presents":[54],"Cerberus,":[55],"approach":[58],"secure":[60],"efficient":[62],"sharing.":[65,152],"To":[66],"reduce":[67],"burden":[69],"verification,":[72],"we":[73,133,155],"compare":[74],"different":[75],"sharing":[76,84,89],"models":[77],"choose":[79],"simple":[81],"yet":[82],"powerful":[83],"model.":[85,166],"Based":[86],"Cerberus":[91,137,174],"extends":[92],"platform":[95],"such":[96],"that":[97,136],"can":[100],"be":[101],"made":[102],"immutable":[103],"shareable":[105],"across":[106],"multiple":[107],"via":[109],"additional":[110],"operations.":[111],"We":[112],"use":[113],"incremental":[114],"starting":[116],"with":[117],"existing":[119,180],"called":[122],"Trusted":[124],"Abstract":[125],"Platform":[126],"(TAP).":[127],"Using":[128],"our":[129,164],"extended":[130],"TAP":[131],"formally":[134],"verify":[135],"break":[140],"weaken":[142],"security":[144],"guarantees":[145],"despite":[149],"allowing":[150],"More":[153],"specifically,":[154],"prove":[156],"Secure":[158],"Remote":[159],"Execution":[160],"(SRE)":[161],"property":[162],"Finally,":[167],"shows":[170],"feasibility":[172],"by":[175],"implementing":[176],"in":[178],"platform,":[182],"RISC-V":[183],"Keystone.":[184]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}