{"id":"https://openalex.org/W4409284777","doi":"https://doi.org/10.1145/3720427","title":"Carapace: Static\u2013Dynamic Information Flow Control in Rust","display_name":"Carapace: Static\u2013Dynamic Information Flow Control in Rust","publication_year":2025,"publication_date":"2025-04-09","ids":{"openalex":"https://openalex.org/W4409284777","doi":"https://doi.org/10.1145/3720427"},"language":"en","primary_location":{"id":"doi:10.1145/3720427","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3720427","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/3720427","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5095926358","display_name":"Vincent Beardsley","orcid":"https://orcid.org/0000-0003-2373-7171"},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Vincent Beardsley","raw_affiliation_strings":["Ohio State University, Columbus, USA"],"raw_orcid":"https://orcid.org/0000-0003-2373-7171","affiliations":[{"raw_affiliation_string":"Ohio State University, Columbus, USA","institution_ids":["https://openalex.org/I52357470"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5117084474","display_name":"Chris Xiong","orcid":null},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chris Xiong","raw_affiliation_strings":["Ohio State University, Columbus, USA"],"raw_orcid":"https://orcid.org/0009-0007-3071-074X","affiliations":[{"raw_affiliation_string":"Ohio State University, Columbus, USA","institution_ids":["https://openalex.org/I52357470"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089175082","display_name":"Ada Lamba","orcid":"https://orcid.org/0009-0000-9605-3999"},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ada Lamba","raw_affiliation_strings":["Ohio State University, Columbus, USA"],"raw_orcid":"https://orcid.org/0009-0000-9605-3999","affiliations":[{"raw_affiliation_string":"Ohio State University, Columbus, USA","institution_ids":["https://openalex.org/I52357470"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044161672","display_name":"Michael D. Bond","orcid":"https://orcid.org/0000-0002-8971-4944"},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael D. Bond","raw_affiliation_strings":["Ohio State University, Columbus, USA"],"raw_orcid":"https://orcid.org/0000-0002-8971-4944","affiliations":[{"raw_affiliation_string":"Ohio State University, Columbus, USA","institution_ids":["https://openalex.org/I52357470"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5095926358"],"corresponding_institution_ids":["https://openalex.org/I52357470"],"apc_list":null,"apc_paid":null,"fwci":1.9057,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.86715357,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"9","issue":"OOPSLA1","first_page":"364","last_page":"392"},"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.9998000264167786,"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.9998000264167786,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9990000128746033,"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"}},{"id":"https://openalex.org/T10400","display_name":"Network Security and Intrusion Detection","score":0.9847999811172485,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/carapace","display_name":"Carapace","score":0.6387190818786621},{"id":"https://openalex.org/keywords/rust","display_name":"Rust (programming language)","score":0.4815012216567993},{"id":"https://openalex.org/keywords/information-flow","display_name":"Information flow","score":0.44992291927337646},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.30570322275161743},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.27665677666664124},{"id":"https://openalex.org/keywords/zoology","display_name":"Zoology","score":0.22996321320533752}],"concepts":[{"id":"https://openalex.org/C67206012","wikidata":"https://www.wikidata.org/wiki/Q666115","display_name":"Carapace","level":3,"score":0.6387190818786621},{"id":"https://openalex.org/C197781089","wikidata":"https://www.wikidata.org/wiki/Q575650","display_name":"Rust (programming language)","level":2,"score":0.4815012216567993},{"id":"https://openalex.org/C2779136372","wikidata":"https://www.wikidata.org/wiki/Q10283002","display_name":"Information flow","level":2,"score":0.44992291927337646},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.30570322275161743},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.27665677666664124},{"id":"https://openalex.org/C90856448","wikidata":"https://www.wikidata.org/wiki/Q431","display_name":"Zoology","level":1,"score":0.22996321320533752},{"id":"https://openalex.org/C84766238","wikidata":"https://www.wikidata.org/wiki/Q25364","display_name":"Crustacean","level":2,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3720427","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3720427","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"}],"best_oa_location":{"id":"doi:10.1145/3720427","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3720427","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":54,"referenced_works":["https://openalex.org/W141971178","https://openalex.org/W254902136","https://openalex.org/W1613776191","https://openalex.org/W2005525408","https://openalex.org/W2007005906","https://openalex.org/W2007831853","https://openalex.org/W2008332764","https://openalex.org/W2019673585","https://openalex.org/W2027822753","https://openalex.org/W2033178475","https://openalex.org/W2052307203","https://openalex.org/W2057503672","https://openalex.org/W2066195326","https://openalex.org/W2067012475","https://openalex.org/W2070093650","https://openalex.org/W2099137371","https://openalex.org/W2122049982","https://openalex.org/W2129592257","https://openalex.org/W2132699727","https://openalex.org/W2136296832","https://openalex.org/W2145846275","https://openalex.org/W2149969483","https://openalex.org/W2150174204","https://openalex.org/W2152505375","https://openalex.org/W2158126684","https://openalex.org/W2162283517","https://openalex.org/W2165304392","https://openalex.org/W2168245916","https://openalex.org/W2476244469","https://openalex.org/W2489094720","https://openalex.org/W2500394778","https://openalex.org/W2732635930","https://openalex.org/W2756350061","https://openalex.org/W2899551626","https://openalex.org/W3156901298","https://openalex.org/W4206358530","https://openalex.org/W4226285758","https://openalex.org/W4233467731","https://openalex.org/W4234229576","https://openalex.org/W4236393930","https://openalex.org/W4238056673","https://openalex.org/W4238495417","https://openalex.org/W4253778559","https://openalex.org/W4256684041","https://openalex.org/W4290865177","https://openalex.org/W4300854084","https://openalex.org/W4302445198","https://openalex.org/W4312415277","https://openalex.org/W4396214512","https://openalex.org/W4399851464","https://openalex.org/W4404400747","https://openalex.org/W4409284777","https://openalex.org/W6682473377","https://openalex.org/W6893194426"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2082860237","https://openalex.org/W2240884828","https://openalex.org/W2119695867","https://openalex.org/W2130076355","https://openalex.org/W1990804418","https://openalex.org/W1481210199","https://openalex.org/W1993764875","https://openalex.org/W2046158694","https://openalex.org/W2788277189"],"abstract_inverted_index":{"Fine-grained":[0],"information":[1],"flow":[2],"control":[3],"(IFC)":[4],"ensures":[5],"confidentiality":[6],"and":[7,24,58,89,107,111,114,118,130],"integrity":[8],"at":[9],"the":[10,56,77,159,162,166],"programming":[11],"language":[12,57,78],"level":[13],"by":[14,164],"ensuring":[15],"that":[16,25,102,137,171],"high-secrecy":[17],"values":[18,23,27],"do":[19,28],"not":[20,29],"affect":[21,30],"low-secrecy":[22],"low-integrity":[26],"high-integrity":[31],"values.":[32],"However,":[33],"prior":[34],"support":[35],"for":[36,72],"fine-grained":[37,70],"IFC":[38,51,71,113,170],"is":[39,83],"impractical:":[40],"It":[41],"either":[42],"analyzes":[43],"programs":[44,74],"using":[45,123],"whole-program":[46],"static":[47,86,110],"analysis,":[48],"detecting":[49],"false":[50],"violations;":[52],"or":[53,79],"it":[54,82],"extends":[55],"compiler,":[59,80],"thwarting":[60],"adoption.":[61],"Recent":[62],"work":[63],"called":[64,100],"Cocoon":[65],"demonstrates":[66],"how":[67],"to":[68,85,142],"provide":[69],"Rust":[73],"without":[75],"modifying":[76],"but":[81],"limited":[84],"secrecy":[87,117],"labels,":[88],"its":[90,177],"case":[91,125],"studies":[92,126],"are":[93],"limited.":[94],"This":[95],"paper":[96],"introduces":[97],"an":[98,174],"approach":[99,106],"Carapace":[101,122,144,157],"employs":[103],"Cocoon\u2019s":[104],"core":[105],"supports":[108,115],"both":[109,116],"dynamic":[112],"integrity.":[119],"We":[120],"demonstrate":[121],"three":[124],"involving":[127],"real":[128],"applications":[129,138],"comprehensive":[131],"security":[132],"policies.":[133],"An":[134],"evaluation":[135],"shows":[136],"can":[139],"be":[140],"retrofitted":[141],"use":[143],"with":[145,173],"relatively":[146],"few":[147],"changes,":[148],"while":[149],"incurring":[150],"negligible":[151],"run-time":[152],"overhead":[153],"in":[154],"most":[155],"cases.":[156],"advances":[158],"state":[160],"of":[161],"art":[163],"being":[165],"first":[167],"hybrid":[168],"static\u2013dynamic":[169],"works":[172],"off-the-shelf":[175],"language\u2014Rust\u2014and":[176],"unmodified":[178],"compiler":[179]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}