{"id":"https://openalex.org/W7204529331","doi":"https://doi.org/10.48550/arxiv.2608.26858","title":"Information Flow Control in Off-Chain Components","display_name":"Information Flow Control in Off-Chain Components","publication_year":2026,"publication_date":"2026-08-27","ids":{"openalex":"https://openalex.org/W7204529331","doi":"https://doi.org/10.48550/arxiv.2608.26858"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2608.26858","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.26858","pdf_url":"https://arxiv.org/pdf/2608.26858","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,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"parent_works":[],"lineage":["https://openalex.org/W7204529331"],"child_works_count":0,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2608.26858","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071887572","display_name":"Stian Lybech","orcid":"https://orcid.org/0000-0001-8219-2285","observed_orcids":["https://orcid.org/0000-0001-8219-2285"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lybech, Stian","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004303721","display_name":"Eun-Young Kang","orcid":"https://orcid.org/0000-0002-4589-2378","observed_orcids":["https://orcid.org/0000-0002-4589-2378"]},"institutions":[{"id":"https://openalex.org/I177969490","display_name":"University of Southern Denmark","ror":"https://ror.org/03yrrjy16","country_code":"DK","type":"education","lineage":["https://openalex.org/I177969490"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Kang, Eun-Young","raw_affiliation_strings":["University of Southern Denmark , Odense , Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Southern Denmark , Odense , Denmark","institution_ids":["https://openalex.org/I177969490"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004998341","display_name":"Riccardo Tonello","orcid":"https://orcid.org/0000-0001-8098-3235","observed_orcids":["https://orcid.org/0000-0001-8098-3235"]},"institutions":[{"id":"https://openalex.org/I3019169596","display_name":"Danish Technological Institute","ror":"https://ror.org/00n87rr37","country_code":"DK","type":"nonprofit","lineage":["https://openalex.org/I3019169596"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Tonello, Riccardo","raw_affiliation_strings":["Danish Technological Institute , Aarhus , Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Danish Technological Institute , Aarhus , Denmark","institution_ids":["https://openalex.org/I3019169596"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5148540675","display_name":"Anders Dalskov","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dalskov, Anders","raw_affiliation_strings":["Partisia Applications ApS , Aarhus , Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Partisia Applications ApS , Aarhus , Denmark","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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/T10270","display_name":"Blockchain Technology Applications and Security","score":0.8784000277519226,"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"}},"topics":[{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.8784000277519226,"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/T10126","display_name":"Logic, programming, and type systems","score":0.06419999897480011,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11424","display_name":"Security and Verification in Computing","score":0.030500000342726707,"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/information-flow-control","display_name":"information flow control","score":0.9649999737739563},{"id":"https://openalex.org/keywords/smart-contracts","display_name":"smart contracts","score":0.902999997138977},{"id":"https://openalex.org/keywords/blockchain","display_name":"blockchain","score":0.8460000157356262},{"id":"https://openalex.org/keywords/static-analysis","display_name":"static analysis","score":0.6970000267028809},{"id":"https://openalex.org/keywords/data-integrity","display_name":"data integrity","score":0.8489999771118164},{"id":"https://openalex.org/keywords/data-secrecy","display_name":"data secrecy","score":0.902999997138977},{"id":"https://openalex.org/keywords/blockchain-interoperability","display_name":"blockchain interoperability","score":0.5709999799728394},{"id":"https://openalex.org/keywords/concurrency","display_name":"concurrency","score":0.32499998807907104},{"id":"https://openalex.org/keywords/smart-contract-vulnerabilities","display_name":"smart contract vulnerabilities","score":0.5419999957084656}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.736299991607666},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.6836000084877014},{"id":"https://openalex.org/C2779136372","wikidata":"https://www.wikidata.org/wiki/Q10283002","display_name":"Information flow","level":2,"score":0.5867999792098999},{"id":"https://openalex.org/C2776452267","wikidata":"https://www.wikidata.org/wiki/Q1503443","display_name":"Secrecy","level":2,"score":0.5590999722480774},{"id":"https://openalex.org/C66746571","wikidata":"https://www.wikidata.org/wiki/Q1134833","display_name":"ENCODE","level":3,"score":0.5533999800682068},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.5365999937057495},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.4846000075340271},{"id":"https://openalex.org/C144745244","wikidata":"https://www.wikidata.org/wiki/Q4927286","display_name":"Blocking (statistics)","level":2,"score":0.41769999265670776},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4106999933719635},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.3937000036239624},{"id":"https://openalex.org/C100776233","wikidata":"https://www.wikidata.org/wiki/Q2532492","display_name":"Bridge (graph theory)","level":2,"score":0.36419999599456787},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.35269999504089355},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3458999991416931},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.3427000045776367},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.311599999666214},{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.3068000078201294},{"id":"https://openalex.org/C38349280","wikidata":"https://www.wikidata.org/wiki/Q1434290","display_name":"Flow (mathematics)","level":2,"score":0.29670000076293945},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2888999879360199},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.28630000352859497},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.27709999680519104},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.27639999985694885},{"id":"https://openalex.org/C180198813","wikidata":"https://www.wikidata.org/wiki/Q121182","display_name":"Information system","level":2,"score":0.27570000290870667},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.27399998903274536},{"id":"https://openalex.org/C21338462","wikidata":"https://www.wikidata.org/wiki/Q1662581","display_name":"Information model","level":2,"score":0.2705000042915344}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2608.26858","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.26858","pdf_url":"https://arxiv.org/pdf/2608.26858","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,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2608.26858","doi":"https://doi.org/10.48550/arxiv.2608.26858","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.26858","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,"listed_in":[],"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"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2608.26858","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.26858","pdf_url":"https://arxiv.org/pdf/2608.26858","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,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320330516","display_name":"Industriens Fond","ror":"https://ror.org/02syw4y53"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7204529331.pdf","grobid_xml":"https://content.openalex.org/works/W7204529331.grobid-xml"},"referenced_works_count":15,"referenced_works":["https://openalex.org/W2128932399","https://openalex.org/W2501924394","https://openalex.org/W2751559473","https://openalex.org/W2944810901","https://openalex.org/W2966120688","https://openalex.org/W3011238671","https://openalex.org/W3024782801","https://openalex.org/W3095372536","https://openalex.org/W3167294861","https://openalex.org/W4300127641","https://openalex.org/W4398230619","https://openalex.org/W4403228960","https://openalex.org/W4411371917","https://openalex.org/W7117486577","https://openalex.org/W7165949268"],"related_works":["https://openalex.org/W3180328693","https://openalex.org/W3173127270","https://openalex.org/W6959694564","https://openalex.org/W4392889236","https://openalex.org/W4394862896","https://openalex.org/W4306311943","https://openalex.org/W2954209740","https://openalex.org/W2939433035","https://openalex.org/W3177620836","https://openalex.org/W3112337529"],"abstract_inverted_index":{"This":[0,78,122],"paper":[1,153],"develops":[2],"a":[3,6,10,73,92,129,142,155],"model":[4,98],"of":[5,20,29,32,103,108,128,157],"smart-contract":[7],"language":[8],"for":[9,82],"blockchain":[11,33],"architecture":[12],"with":[13,38,154],"off-chain":[14,114,133],"components.":[15],"Off-chain":[16],"components":[17,134],"are":[18],"pieces":[19],"smart":[21],"contracts":[22],"that":[23],"execute":[24],"at":[25],"designated":[26],"locations":[27],"outside":[28],"the":[30,39,48,55,61,83,97,101,111,126,152],"network":[31],"nodes,":[34],"but":[35,51,85],"remain":[36],"synchronised":[37],"on-chain":[40,49,56,112],"contract":[41],"state.":[42],"They":[43],"react":[44],"to":[45,47,99,160],"changes":[46],"state,":[50],"may":[52,86],"also":[53,87],"notify":[54],"component":[57],"about":[58],"events":[59],"in":[60,125],"world,":[62],"e.g.":[63,145],"stock":[64],"prices,":[65],"weather":[66],"data":[67,109],"etc.,":[68],"or":[69],"even":[70,124],"act":[71,135],"as":[72,136],"bridge":[74],"between":[75,110],"different":[76],"blockchains.":[77],"affords":[79],"greater":[80],"flexibility":[81],"developer,":[84],"enable":[88],"new":[89],"vulnerabilities.":[90],"As":[91],"concrete":[93],"example,":[94],"we":[95],"use":[96],"study":[100],"problem":[102],"ensuring":[104],"integrity":[105],"and":[106,113,139],"secrecy":[107],"components,":[115],"using":[116],"static":[117],"information":[118],"flow":[119],"control":[120],"techniques.":[121],"fails,":[123],"absence":[127],"loop":[130],"construct,":[131],"because":[132],"separate":[137],"threads":[138],"can":[140],"encode":[141],"blocking":[143],"construct":[144],"through":[146],"recursive":[147],"method":[148],"calls.":[149],"We":[150],"end":[151],"discussion":[156],"possible":[158],"ways":[159],"remedy":[161],"this":[162],"situation.":[163]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-08-29T00:00:00"}