{"id":"https://openalex.org/W7164986474","doi":"https://doi.org/10.48550/arxiv.2606.18064","title":"Defense-in-Depth Runtime Safety in Move","display_name":"Defense-in-Depth Runtime Safety in Move","publication_year":2026,"publication_date":"2026-06-16","ids":{"openalex":"https://openalex.org/W7164986474","doi":"https://doi.org/10.48550/arxiv.2606.18064"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.18064","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.18064","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.2606.18064","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5092998240","display_name":"Victor Gao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gao, Victor","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057904664","display_name":"Wolfgang Grieskamp","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Grieskamp, Wolfgang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103145520","display_name":"Vineeth Kashyap","orcid":"https://orcid.org/0000-0003-0328-6297"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kashyap, Vineeth","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5098188749","display_name":"George Mitenkov","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mitenkov, George","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138767254","display_name":"Teng Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Teng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112984649","display_name":"Runtian Zhou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhou, Runtian","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138788518","display_name":"Andrea Cappa","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cappa, Andrea","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5059063697","display_name":"Marco Ilardi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ilardi, Marco","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.7192000150680542,"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.7192000150680542,"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.17800000309944153,"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/T12127","display_name":"Software System Performance and Reliability","score":0.014100000262260437,"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/memory-safety","display_name":"Memory safety","score":0.6377000212669373},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4352000057697296},{"id":"https://openalex.org/keywords/type-safety","display_name":"Type safety","score":0.4117000102996826},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.4097999930381775},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.3889000117778778},{"id":"https://openalex.org/keywords/safety-monitoring","display_name":"Safety monitoring","score":0.29649999737739563}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.733299970626831},{"id":"https://openalex.org/C28180684","wikidata":"https://www.wikidata.org/wiki/Q4080983","display_name":"Memory safety","level":3,"score":0.6377000212669373},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5360999703407288},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4352000057697296},{"id":"https://openalex.org/C44779574","wikidata":"https://www.wikidata.org/wiki/Q736866","display_name":"Type safety","level":2,"score":0.4117000102996826},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4097999930381775},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3955000042915344},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.3889000117778778},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3066999912261963},{"id":"https://openalex.org/C2777488183","wikidata":"https://www.wikidata.org/wiki/Q6900510","display_name":"Safety monitoring","level":2,"score":0.29649999737739563},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.28279998898506165},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2736999988555908},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.27129998803138733},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.2637999951839447},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.2581999897956848},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.2526000142097473}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.18064","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.18064","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.2606.18064","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.18064","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":[{"id":"https://metadata.un.org/sdg/16","score":0.8168600797653198,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Move":[0,13,132],"is":[1,54,66],"a":[2,17,72,76],"smart-contract":[3],"language":[4],"used":[5],"to":[6,69],"execute":[7,15],"transactions":[8],"on":[9,100,133],"the":[10,50,60,108,127],"Aptos":[11,98],"blockchain.":[12],"programs":[14],"in":[16],"sandboxed":[18],"VM":[19,24],"as":[20],"typed":[21],"bytecode.":[22,121],"The":[23],"statically":[25],"verifies":[26],"foundational":[27],"safety":[28,32,35,103,129],"properties":[29],"like":[30,62],"type":[31],"and":[33,56,119,125],"reference":[34],"at":[36],"code":[37],"loading":[38],"time.":[39],"In":[40,71],"principle,":[41],"this":[42,96],"design":[43],"gives":[44],"strong":[45],"guarantees":[46],"for":[47,131],"Move.":[48],"However,":[49],"static":[51],"verification":[52],"logic":[53],"complex":[55],"continually":[57],"evolving":[58],"with":[59],"language;":[61],"any":[63],"software,":[64],"it":[65],"not":[67],"immune":[68],"bugs.":[70],"live":[73],"blockchain":[74],"setting,":[75],"missed":[77],"rule":[78],"violation":[79],"can":[80],"translate":[81],"directly":[82],"into":[83],"loss":[84],"of":[85,92],"assets,":[86],"forged":[87],"authority,":[88],"or":[89],"unrecoverable":[90],"corruption":[91],"on-chain":[93],"state.":[94],"For":[95],"reason,":[97],"relies":[99],"defense-in-depth":[101],"runtime":[102,128],"checks":[104,130],"that":[105],"independently":[106],"verify":[107],"critical":[109],"invariants":[110],"during":[111],"execution,":[112],"providing":[113],"protection":[114],"against":[115],"latent":[116],"verifier":[117],"bugs":[118],"malicious":[120],"This":[122],"paper":[123],"motivates":[124],"describes":[126],"Aptos.":[134]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-06-18T00:00:00"}