{"id":"https://openalex.org/W7154485917","doi":"https://doi.org/10.48550/arxiv.2604.12407","title":"Tamper-Proofing with Self-Modifying Code","display_name":"Tamper-Proofing with Self-Modifying Code","publication_year":2026,"publication_date":"2026-04-14","ids":{"openalex":"https://openalex.org/W7154485917","doi":"https://doi.org/10.48550/arxiv.2604.12407"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.12407","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.12407","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.12407","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5003549623","display_name":"Gregory Morse","orcid":"https://orcid.org/0000-0002-0231-6557"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Morse, Gregory","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5133672850","display_name":"Tam\u00e1s Kozsik","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kozsik, Tam\u00e1s","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"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.26980000734329224,"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.26980000734329224,"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.14319999516010284,"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.10490000247955322,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.6134999990463257},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5227000117301941},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.48820000886917114},{"id":"https://openalex.org/keywords/pipeline","display_name":"Pipeline (software)","score":0.45410001277923584},{"id":"https://openalex.org/keywords/dead-code","display_name":"Dead code","score":0.45339998602867126},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4406000077724457},{"id":"https://openalex.org/keywords/timer","display_name":"Timer","score":0.4226999878883362},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.4154999852180481},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.4034999907016754},{"id":"https://openalex.org/keywords/reboot","display_name":"Reboot","score":0.3961000144481659}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8536999821662903},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6726999878883362},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.6134999990463257},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5227000117301941},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.48820000886917114},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.45410001277923584},{"id":"https://openalex.org/C47434764","wikidata":"https://www.wikidata.org/wiki/Q1770035","display_name":"Dead code","level":5,"score":0.45339998602867126},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4406000077724457},{"id":"https://openalex.org/C2776633867","wikidata":"https://www.wikidata.org/wiki/Q186612","display_name":"Timer","level":3,"score":0.4226999878883362},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.4154999852180481},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.4034999907016754},{"id":"https://openalex.org/C120524526","wikidata":"https://www.wikidata.org/wiki/Q1709148","display_name":"Reboot","level":2,"score":0.3961000144481659},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.3935000002384186},{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.3894999921321869},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3790999948978424},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.37220001220703125},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.3643999993801117},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.3637999892234802},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.3375999927520752},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.33500000834465027},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.32820001244544983},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.31679999828338623},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.31349998712539673},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.30160000920295715},{"id":"https://openalex.org/C115168132","wikidata":"https://www.wikidata.org/wiki/Q55813","display_name":"Machine code","level":3,"score":0.2973000109195709},{"id":"https://openalex.org/C2781020372","wikidata":"https://www.wikidata.org/wiki/Q533093","display_name":"On the fly","level":2,"score":0.2906000018119812},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.28439998626708984},{"id":"https://openalex.org/C2779907942","wikidata":"https://www.wikidata.org/wiki/Q7239630","display_name":"Predicate abstraction","level":3,"score":0.28279998898506165},{"id":"https://openalex.org/C9870796","wikidata":"https://www.wikidata.org/wiki/Q490481","display_name":"Turing","level":2,"score":0.28200000524520874},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.2743000090122223},{"id":"https://openalex.org/C28180684","wikidata":"https://www.wikidata.org/wiki/Q4080983","display_name":"Memory safety","level":3,"score":0.27140000462532043},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.2678999900817871},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.2662000060081482},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.26089999079704285},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.25769999623298645},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.25450000166893005},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.2533000111579895},{"id":"https://openalex.org/C178005623","wikidata":"https://www.wikidata.org/wiki/Q308859","display_name":"Anonymity","level":2,"score":0.2526000142097473},{"id":"https://openalex.org/C2779696439","wikidata":"https://www.wikidata.org/wiki/Q7512811","display_name":"Signature (topology)","level":2,"score":0.2515000104904175},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.2513999938964844}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.12407","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.12407","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.12407","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.12407","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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"},"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":{"Classical":[0],"computability":[1],"theory":[2],"tells":[3],"us":[4],"that":[5,37,46,76,132],"self-modifying":[6],"code":[7,20,169],"(SMC)":[8],"on":[9,21,41,68],"a":[10,57,73,161],"deterministic":[11],"universal":[12],"Turing":[13],"machine":[14],"can":[15],"be":[16],"simulated":[17],"by":[18],"non-SMC":[19,60],"the":[22,29,103,145],"same":[23],"model.":[24],"That":[25],"abstraction,":[26],"however,":[27],"omits":[28],"external":[30],"timing":[31,86,104],"inputs,":[32],"concurrency,":[33],"and":[34,50,79,84,98,112,127,139,164],"microarchitectural":[35],"state":[36],"dominate":[38],"practical":[39],"execution":[40,93],"modern":[42],"processors.":[43],"We":[44,71,95,120],"argue":[45],"once":[47],"timing,":[48],"ordering,":[49],"self-introspective":[51],"effects":[52],"are":[53],"treated":[54],"as":[55],"observables,":[56],"practically":[58],"faithful":[59],"reproduction":[61],"of":[62,147],"timed":[63],"SMC":[64,100,148],"becomes":[65],"detectably":[66],"expensive":[67],"commodity":[69],"systems.":[70],"present":[72],"tamper-proofing":[74],"model":[75],"combines":[77],"introspective":[78],"polymorphic":[80],"SMC,":[81],"reliable":[82],"clocks,":[83],"runtime":[85],"predicates":[87],"to":[88,92,107],"bind":[89],"integrity":[90],"checks":[91],"behavior.":[94],"distinguish":[96],"static":[97],"dynamic":[99],"generation,":[101],"characterize":[102],"semantics":[105],"needed":[106],"avoid":[108],"catastrophic":[109],"pipeline":[110],"clears,":[111],"give":[113],"x86-64":[114],"design":[115],"primitives":[116],"for":[117,167],"checksum-driven":[118],"self-patching.":[119],"also":[121],"report":[122],"timer":[123],"measurements,":[124],"performance":[125],"comparisons,":[126],"performance-monitoring":[128],"counter":[129],"evidence":[130],"showing":[131],"careful":[133],"engineering":[134],"--":[135,142],"especially":[136],"loop":[137],"unrolling":[138],"cross-page":[140],"modification":[141],"substantially":[143],"reduces":[144],"overhead":[146],"while":[149],"preserving":[150],"its":[151],"tamper-detection":[152],"value.":[153],"The":[154],"paper":[155],"concludes":[156],"with":[157],"an":[158],"efficiency":[159],"analysis,":[160],"threat":[162],"model,":[163],"deployment":[165],"guidance":[166],"trusted":[168],"executing":[170],"in":[171],"untrusted":[172],"environments.":[173]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-04-16T00:00:00"}