{"id":"https://openalex.org/W7154776680","doi":"https://doi.org/10.48550/arxiv.2604.14357","title":"Filament: Denning-Style Information Flow Control for Rust","display_name":"Filament: Denning-Style Information Flow Control for Rust","publication_year":2026,"publication_date":"2026-04-15","ids":{"openalex":"https://openalex.org/W7154776680","doi":"https://doi.org/10.48550/arxiv.2604.14357"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.14357","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.14357","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":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.14357","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5133915438","display_name":"Jeffrey C. Ching","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ching, Jeffrey C.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133832972","display_name":"Quan Zhou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhou, Quan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5100722775","display_name":"Danfeng Zhang","orcid":"https://orcid.org/0000-0003-1942-6872"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Danfeng","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":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9661999940872192,"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.9661999940872192,"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/T10126","display_name":"Logic, programming, and type systems","score":0.016899999231100082,"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/T10142","display_name":"Formal Methods in Verification","score":0.0024999999441206455,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/compiler","display_name":"Compiler","score":0.7675999999046326},{"id":"https://openalex.org/keywords/rust","display_name":"Rust (programming language)","score":0.5771999955177307},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.5139999985694885},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.4961000084877014},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.487199991941452},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.3725000023841858},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.3393000066280365},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.3312999904155731}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7975000143051147},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7675999999046326},{"id":"https://openalex.org/C197781089","wikidata":"https://www.wikidata.org/wiki/Q575650","display_name":"Rust (programming language)","level":2,"score":0.5771999955177307},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.541700005531311},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.5139999985694885},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.4961000084877014},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.487199991941452},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.3725000023841858},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.3393000066280365},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.3312999904155731},{"id":"https://openalex.org/C20136886","wikidata":"https://www.wikidata.org/wiki/Q749647","display_name":"Interoperability","level":2,"score":0.32820001244544983},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3183000087738037},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.3158000111579895},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3091000020503998},{"id":"https://openalex.org/C2779136372","wikidata":"https://www.wikidata.org/wiki/Q10283002","display_name":"Information flow","level":2,"score":0.3084999918937683},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.2976999878883362},{"id":"https://openalex.org/C166955791","wikidata":"https://www.wikidata.org/wiki/Q629579","display_name":"Macro","level":2,"score":0.2928999960422516},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.29109999537467957},{"id":"https://openalex.org/C40305131","wikidata":"https://www.wikidata.org/wiki/Q2616305","display_name":"Obfuscation","level":2,"score":0.2890999913215637},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.27619999647140503},{"id":"https://openalex.org/C2776321320","wikidata":"https://www.wikidata.org/wiki/Q857525","display_name":"Annotation","level":2,"score":0.27219998836517334},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.2623000144958496},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.25940001010894775},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.2526000142097473},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.2508000135421753}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.14357","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.14357","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":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.14357","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.14357","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":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Existing":[0],"language-based":[1],"information-flow":[2],"control":[3],"(IFC)":[4],"tools":[5],"face":[6],"a":[7,46,65,90,98,145],"fundamental":[8],"tension:":[9],"Denning-style":[10,47],"systems":[11],"that":[12,53,128,157],"track":[13],"explicit":[14],"and":[15,111,117,122,134],"implicit":[16,95],"flows":[17,96],"at":[18],"the":[19,151],"variable":[20],"level":[21],"typically":[22],"require":[23],"compiler":[24,35,56,105],"modifications,":[25],"while":[26],"more":[27,39,146],"coarse-grained":[28],"approaches,":[29],"including":[30],"recent":[31],"work":[32],"Cocoon,":[33,142],"avoid":[34],"changes":[36],"but":[37],"impose":[38],"restrictive":[40],"programming":[41,148],"models.":[42],"We":[43],"present":[44],"Filament,":[45],"static":[48],"IFC":[49,67],"library":[50,68],"for":[51,69,93,153],"Rust":[52],"requires":[54,135],"no":[55],"modifications.":[57],"Filament":[58,129,143],"addresses":[59],"three":[60],"key":[61],"challenges":[62],"in":[63],"building":[64],"practical":[66],"Rust.":[70],"First,":[71],"it":[72,87,108],"enables":[73],"fine-grained":[74],"explicit-flow":[75],"checking":[76],"with":[77,120],"minimal":[78],"annotation":[79],"overhead":[80,133],"by":[81],"leveraging":[82],"Rust's":[83],"type":[84],"inference.":[85],"Second,":[86],"introduces":[88],"pc_block!,":[89],"lightweight":[91],"construct":[92],"enforcing":[94],"via":[97],"compile-time":[99,132],"program":[100],"counter":[101],"label,":[102],"without":[103],"requiring":[104],"support.":[106],"Third,":[107],"provides":[109],"fcall!":[110],"mcall!":[112],"macros":[113],"to":[114,141],"support":[115],"seamless":[116],"safe":[118],"interoperability":[119],"standard":[121],"third-party":[123],"libraries.":[124],"Our":[125],"evaluation":[126],"shows":[127],"incurs":[130],"negligible":[131],"only":[136],"modest":[137],"annotations.":[138],"Moreover,":[139],"compared":[140],"offers":[144],"permissive":[147],"model,":[149],"reducing":[150],"need":[152],"frequent":[154],"escape":[155],"hatches":[156],"bypass":[158],"security":[159],"checks.":[160]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-04-18T00:00:00"}