{"id":"https://openalex.org/W2008230196","doi":"https://doi.org/10.1109/cpsna.2013.6614242","title":"On-chip control flow integrity check for real time embedded systems","display_name":"On-chip control flow integrity check for real time embedded systems","publication_year":2013,"publication_date":"2013-08-01","ids":{"openalex":"https://openalex.org/W2008230196","doi":"https://doi.org/10.1109/cpsna.2013.6614242","mag":"2008230196"},"language":"en","primary_location":{"id":"doi:10.1109/cpsna.2013.6614242","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cpsna.2013.6614242","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5085864006","display_name":"Fardin Abdi Taghi Abad","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Fardin Abdi Taghi Abad","raw_affiliation_strings":["Dept. of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, USA","[Dept. of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, USA]"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"[Dept. of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, USA]","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063473956","display_name":"Joel Van Der Woude","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Joel Van Der Woude","raw_affiliation_strings":["Dept. of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, USA","[Dept. of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, USA]"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"[Dept. of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, USA]","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102981342","display_name":"Yi Lu","orcid":"https://orcid.org/0000-0002-6768-7893"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yi Lu","raw_affiliation_strings":["Dept. of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, USA","[Dept. of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, USA]"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"[Dept. of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, USA]","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033330108","display_name":"Stanley Bak","orcid":"https://orcid.org/0000-0003-4947-9553"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stanley Bak","raw_affiliation_strings":["Dept. of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, USA","[Dept. of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, USA]"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"[Dept. of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, USA]","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060442004","display_name":"Marco Caccamo","orcid":"https://orcid.org/0000-0003-2328-044X"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Marco Caccamo","raw_affiliation_strings":["Dept. of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, USA","[Dept. of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, USA]"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"[Dept. of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, USA]","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067032971","display_name":"Lui Sha","orcid":"https://orcid.org/0000-0002-5578-0791"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lui Sha","raw_affiliation_strings":["Dept. of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, USA","[Dept. of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, USA]"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"[Dept. of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, USA]","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035353750","display_name":"Renato Mancuso","orcid":"https://orcid.org/0000-0003-3558-5216"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Renato Mancuso","raw_affiliation_strings":["Dept. of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, USA","[Dept. of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, USA]"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"[Dept. of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, USA]","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081803093","display_name":"Sibin Mohan","orcid":"https://orcid.org/0000-0002-3295-0233"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sibin Mohan","raw_affiliation_strings":["Information Trust Institute, University of Illinois at Urbana-Champaign, Urbana, IL, USA","Information Trust Institute, University of Illinois at Urbana\u2013Champaign, Urbana, IL, USA"],"affiliations":[{"raw_affiliation_string":"Information Trust Institute, University of Illinois at Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"Information Trust Institute, University of Illinois at Urbana\u2013Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5085864006"],"corresponding_institution_ids":["https://openalex.org/I157725225"],"apc_list":null,"apc_paid":null,"fwci":2.8855,"has_fulltext":false,"cited_by_count":30,"citation_normalized_percentile":{"value":0.9126832,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"26","last_page":"31"},"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.9991999864578247,"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.9991999864578247,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9954000115394592,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9940999746322632,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/computer-science","display_name":"Computer science","score":0.7878789305686951},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.6626061201095581},{"id":"https://openalex.org/keywords/control-flow-graph","display_name":"Control flow graph","score":0.5921208262443542},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5904722809791565},{"id":"https://openalex.org/keywords/data-flow-analysis","display_name":"Data-flow analysis","score":0.5581640005111694},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.5232095718383789},{"id":"https://openalex.org/keywords/data-flow-diagram","display_name":"Data flow diagram","score":0.4957908093929291},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4561019539833069},{"id":"https://openalex.org/keywords/hardware-security-module","display_name":"Hardware security module","score":0.4292001724243164},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.42084527015686035},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.4119728207588196},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3343323767185211},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.25395262241363525},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.24788516759872437},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.16326281428337097},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.12091228365898132},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10804077982902527}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7878789305686951},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.6626061201095581},{"id":"https://openalex.org/C27458966","wikidata":"https://www.wikidata.org/wiki/Q1187693","display_name":"Control flow graph","level":2,"score":0.5921208262443542},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5904722809791565},{"id":"https://openalex.org/C88468194","wikidata":"https://www.wikidata.org/wiki/Q1172416","display_name":"Data-flow analysis","level":3,"score":0.5581640005111694},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.5232095718383789},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.4957908093929291},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4561019539833069},{"id":"https://openalex.org/C39217717","wikidata":"https://www.wikidata.org/wiki/Q1432354","display_name":"Hardware security module","level":3,"score":0.4292001724243164},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.42084527015686035},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.4119728207588196},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3343323767185211},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.25395262241363525},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.24788516759872437},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.16326281428337097},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.12091228365898132},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10804077982902527},{"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cpsna.2013.6614242","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cpsna.2013.6614242","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.6100000143051147,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W87635799","https://openalex.org/W1545927878","https://openalex.org/W1655226010","https://openalex.org/W1995790716","https://openalex.org/W2044856659","https://openalex.org/W2070090222","https://openalex.org/W2077688407","https://openalex.org/W2090181646","https://openalex.org/W2098010707","https://openalex.org/W2101699859","https://openalex.org/W2102902405","https://openalex.org/W2103707436","https://openalex.org/W2106887144","https://openalex.org/W2108860402","https://openalex.org/W2109219878","https://openalex.org/W2116520617","https://openalex.org/W2117115928","https://openalex.org/W2123886726","https://openalex.org/W2133461006","https://openalex.org/W2133592286","https://openalex.org/W2140617629","https://openalex.org/W2149209089","https://openalex.org/W2150277819","https://openalex.org/W2153256720","https://openalex.org/W2156093990","https://openalex.org/W2159059513","https://openalex.org/W2160418053","https://openalex.org/W2162800072","https://openalex.org/W2199312358","https://openalex.org/W2978757628","https://openalex.org/W2980110727","https://openalex.org/W4285719527","https://openalex.org/W6603557143","https://openalex.org/W6636991409","https://openalex.org/W6673091359","https://openalex.org/W6675317556","https://openalex.org/W6676006331","https://openalex.org/W6677520968","https://openalex.org/W6682290346","https://openalex.org/W6769293770"],"related_works":["https://openalex.org/W1999711970","https://openalex.org/W2166895275","https://openalex.org/W2998775986","https://openalex.org/W4256382613","https://openalex.org/W2151163382","https://openalex.org/W1549956274","https://openalex.org/W1484884871","https://openalex.org/W94523631","https://openalex.org/W2052160877","https://openalex.org/W1528221867"],"abstract_inverted_index":{"Modern":[0],"industrial":[1],"plants,":[2],"vehicles":[3],"and":[4,26],"other":[5],"cyber-physical":[6],"systems":[7,25,128],"are":[8,36,42],"increasingly":[9],"being":[10],"built":[11],"as":[12],"an":[13],"aggregation":[14],"of":[15,23,30,62,65,94,114],"embedded":[16,47],"platforms.":[17,48],"Together":[18],"with":[19],"the":[20,27,60,76],"soaring":[21],"number":[22],"such":[24],"current":[28],"trends":[29],"increased":[31],"connectivity,":[32],"new":[33],"security":[34,41],"concerns":[35],"emerging.":[37],"Classic":[38],"approaches":[39],"to":[40,85],"not":[43,74],"often":[44],"suitable":[45],"for":[46,58],"In":[49,107],"this":[50,98],"paper":[51],"we":[52,80,100,109],"propose":[53],"a":[54,82,102,115],"hardware":[55,83],"based":[56],"approach":[57,122],"checking":[59,118],"integrity":[61,117],"code":[63],"flow":[64,88],"real-time":[66,95,127],"tasks":[67],"whit":[68],"precisely":[69],"predictable":[70],"overheads":[71],"that":[72],"do":[73],"affect":[75],"critical":[77],"path.":[78],"Specifically,":[79],"employ":[81],"module":[84],"perform":[86],"control":[87],"graph":[89],"(CFG)":[90],"validation":[91],"at":[92,125],"run-time":[93],"component.":[96],"For":[97],"purpose,":[99],"developed":[101],"binary-based,":[103],"CFG":[104,116],"generation":[105],"tool.":[106],"addition,":[108],"also":[110],"present":[111],"our":[112],"implementation":[113],"module.":[119],"The":[120],"proposed":[121],"is":[123],"aimed":[124],"improving":[126],"security.":[129]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":7},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}