{"id":"https://openalex.org/W2118046102","doi":"https://doi.org/10.1145/2512456","title":"Leveraging speculative architectures for runtime program validation","display_name":"Leveraging speculative architectures for runtime program validation","publication_year":2013,"publication_date":"2013-08-01","ids":{"openalex":"https://openalex.org/W2118046102","doi":"https://doi.org/10.1145/2512456","mag":"2118046102"},"language":"en","primary_location":{"id":"doi:10.1145/2512456","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2512456","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2512456?download=true","source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/2512456?download=true","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072825537","display_name":"Juan Carlos Mart\u00ednez-Santos","orcid":"https://orcid.org/0000-0003-2755-0718"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Juan Carlos Martinez Santos","raw_affiliation_strings":["University of Connecticut"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Connecticut","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083131515","display_name":"Yunsi Fei","orcid":"https://orcid.org/0000-0002-9930-0868"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yunsi Fei","raw_affiliation_strings":["University of Connecticut"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Connecticut","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4868,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.7749805,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"13","issue":"1","first_page":"1","last_page":"18"},"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.9998999834060669,"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.9998999834060669,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9991000294685364,"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"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9197133779525757},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.7340351343154907},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.6728709936141968},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.6095395684242249},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.5254123210906982},{"id":"https://openalex.org/keywords/locality","display_name":"Locality","score":0.5117514133453369},{"id":"https://openalex.org/keywords/branch-predictor","display_name":"Branch predictor","score":0.4885293245315552},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4497143030166626},{"id":"https://openalex.org/keywords/speculative-execution","display_name":"Speculative execution","score":0.4300435781478882},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.40816041827201843},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.40420517325401306},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3498467803001404},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14929234981536865}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9197133779525757},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.7340351343154907},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.6728709936141968},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.6095395684242249},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.5254123210906982},{"id":"https://openalex.org/C2779808786","wikidata":"https://www.wikidata.org/wiki/Q6664603","display_name":"Locality","level":2,"score":0.5117514133453369},{"id":"https://openalex.org/C168522837","wikidata":"https://www.wikidata.org/wiki/Q679552","display_name":"Branch predictor","level":2,"score":0.4885293245315552},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4497143030166626},{"id":"https://openalex.org/C141331961","wikidata":"https://www.wikidata.org/wiki/Q2164465","display_name":"Speculative execution","level":2,"score":0.4300435781478882},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.40816041827201843},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.40420517325401306},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3498467803001404},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14929234981536865},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2512456","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2512456","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2512456?download=true","source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/2512456","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2512456","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2512456?download=true","source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.7699999809265137,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G2023196272","display_name":"CAREER: Architectural Enhancement and Design Methodologies for Secure Processing in Embedded Systems","funder_award_id":"0845871","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6671297155","display_name":null,"funder_award_id":"CAREER","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2118046102.pdf","grobid_xml":"https://content.openalex.org/works/W2118046102.grobid-xml"},"referenced_works_count":41,"referenced_works":["https://openalex.org/W1535244464","https://openalex.org/W1542906860","https://openalex.org/W1606337480","https://openalex.org/W1655226010","https://openalex.org/W1686420892","https://openalex.org/W1844755850","https://openalex.org/W1947347140","https://openalex.org/W2017093493","https://openalex.org/W2017608668","https://openalex.org/W2027184270","https://openalex.org/W2097586580","https://openalex.org/W2100666033","https://openalex.org/W2104225326","https://openalex.org/W2106887144","https://openalex.org/W2107890513","https://openalex.org/W2109262733","https://openalex.org/W2117470854","https://openalex.org/W2128217000","https://openalex.org/W2129482816","https://openalex.org/W2132461047","https://openalex.org/W2138586637","https://openalex.org/W2139090828","https://openalex.org/W2142937557","https://openalex.org/W2144975273","https://openalex.org/W2146966321","https://openalex.org/W2147889335","https://openalex.org/W2156619090","https://openalex.org/W2156620605","https://openalex.org/W2158191323","https://openalex.org/W2162414709","https://openalex.org/W2162484114","https://openalex.org/W2162986442","https://openalex.org/W2167231283","https://openalex.org/W2168264487","https://openalex.org/W2971386045","https://openalex.org/W2978757628","https://openalex.org/W2992109006","https://openalex.org/W3150612471","https://openalex.org/W4246842159","https://openalex.org/W4250395788","https://openalex.org/W6768779726"],"related_works":["https://openalex.org/W2117888911","https://openalex.org/W2139338109","https://openalex.org/W4389162411","https://openalex.org/W2434762079","https://openalex.org/W365166040","https://openalex.org/W2897302968","https://openalex.org/W44766235","https://openalex.org/W2043979743","https://openalex.org/W2152620203","https://openalex.org/W2950168363"],"abstract_inverted_index":{"Program":[0],"execution":[1,129],"can":[2],"be":[3],"tampered":[4],"with":[5],"by":[6,17,61],"malicious":[7],"attackers":[8],"through":[9],"exploiting":[10],"software":[11],"vulnerabilities.":[12],"Changing":[13],"the":[14,26,63,83,96,102,112,118,127,140,159,167,173],"program":[15,43,69,104],"behavior":[16],"compromising":[18],"control":[19,85],"data":[20,23],"and":[21,125,144,162,187],"decision":[22,119],"has":[24],"become":[25],"most":[27],"serious":[28],"threat":[29],"in":[30,89],"computer":[31],"system":[32,143],"security.":[33],"Although":[34],"several":[35],"hardware":[36,49],"approaches":[37],"have":[38],"been":[39],"presented":[40],"to":[41,100,116,139,150],"validate":[42,117],"execution,":[44],"they":[45],"either":[46],"incur":[47],"great":[48],"overhead":[50],"or":[51],"introduce":[52],"false":[53],"alarms.":[54],"We":[55],"propose":[56],"a":[57,80,90,183],"new":[58],"hardware-based":[59],"approach":[60,136],"leveraging":[62],"existing":[64],"speculative":[65],"architectures":[66],"for":[67],"runtime":[68],"validation.":[70],"The":[71],"on-chip":[72],"branch":[73,110,165],"target":[74],"buffer":[75],"(BTB)":[76],"is":[77,98,114,137,148,177],"utilized":[78],"as":[79],"cache":[81],"of":[82,121,134,154,158,164,169],"legitimate":[84],"flow":[86],"transfers":[87],"stored":[88],"secure":[91,174],"memory":[92,176],"region.":[93],"In":[94],"addition,":[95],"BTB":[97,113],"extended":[99],"store":[101],"correct":[103],"path":[105,130],"information.":[106],"At":[107],"each":[108],"indirect":[109],"site,":[111],"used":[115],"history":[120],"previous":[122],"conditional":[123],"branches":[124],"monitor":[126],"following":[128],"at":[131],"runtime.":[132],"Implementation":[133],"this":[135],"transparent":[138],"upper":[141],"operating":[142],"programs.":[145],"Thus,":[146],"it":[147],"applicable":[149],"legacy":[151],"code.":[152],"Because":[153],"good":[155],"code":[156],"locality":[157],"executable":[160],"programs":[161],"effectiveness":[163],"prediction,":[166],"frequency":[168],"control-flow":[170],"validations":[171],"against":[172],"off-chip":[175],"low.":[178],"Our":[179],"experimental":[180],"results":[181],"show":[182],"negligible":[184],"performance":[185],"penalty":[186],"small":[188],"storage":[189],"overhead.":[190]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}