{"id":"https://openalex.org/W4394862625","doi":"https://doi.org/10.1109/tcad.2024.3389558","title":"On Modeling and Detecting Trojans in Instruction Sets","display_name":"On Modeling and Detecting Trojans in Instruction Sets","publication_year":2024,"publication_date":"2024-04-16","ids":{"openalex":"https://openalex.org/W4394862625","doi":"https://doi.org/10.1109/tcad.2024.3389558"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2024.3389558","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2024.3389558","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-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/A5101723569","display_name":"Ying Zhang","orcid":"https://orcid.org/0000-0001-7887-6510"},"institutions":[{"id":"https://openalex.org/I116953780","display_name":"Tongji University","ror":"https://ror.org/03rc6as71","country_code":"CN","type":"education","lineage":["https://openalex.org/I116953780"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ying Zhang","raw_affiliation_strings":["School of Software Engineering, Tongji University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0001-7887-6510","affiliations":[{"raw_affiliation_string":"School of Software Engineering, Tongji University, Shanghai, China","institution_ids":["https://openalex.org/I116953780"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104282125","display_name":"Aodi He","orcid":"https://orcid.org/0009-0007-4778-5457"},"institutions":[{"id":"https://openalex.org/I116953780","display_name":"Tongji University","ror":"https://ror.org/03rc6as71","country_code":"CN","type":"education","lineage":["https://openalex.org/I116953780"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Aodi He","raw_affiliation_strings":["School of Software Engineering, Tongji University, Shanghai, China"],"raw_orcid":"https://orcid.org/0009-0007-4778-5457","affiliations":[{"raw_affiliation_string":"School of Software Engineering, Tongji University, Shanghai, China","institution_ids":["https://openalex.org/I116953780"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Jiaying Li","orcid":"https://orcid.org/0009-0004-5501-0035"},"institutions":[{"id":"https://openalex.org/I116953780","display_name":"Tongji University","ror":"https://ror.org/03rc6as71","country_code":"CN","type":"education","lineage":["https://openalex.org/I116953780"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiaying Li","raw_affiliation_strings":["School of Software Engineering, Tongji University, Shanghai, China"],"raw_orcid":"https://orcid.org/0009-0004-5501-0035","affiliations":[{"raw_affiliation_string":"School of Software Engineering, Tongji University, Shanghai, China","institution_ids":["https://openalex.org/I116953780"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087431438","display_name":"Ahmed Rezine","orcid":"https://orcid.org/0000-0002-0440-4753"},"institutions":[{"id":"https://openalex.org/I102134673","display_name":"Link\u00f6ping University","ror":"https://ror.org/05ynxx418","country_code":"SE","type":"education","lineage":["https://openalex.org/I102134673"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Ahmed Rezine","raw_affiliation_strings":["Embedded Systems Laboratory, Linkoping University, Linkoping, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Embedded Systems Laboratory, Linkoping University, Linkoping, Sweden","institution_ids":["https://openalex.org/I102134673"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003372884","display_name":"Zebo Peng","orcid":"https://orcid.org/0000-0002-5137-565X"},"institutions":[{"id":"https://openalex.org/I102134673","display_name":"Link\u00f6ping University","ror":"https://ror.org/05ynxx418","country_code":"SE","type":"education","lineage":["https://openalex.org/I102134673"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Zebo Peng","raw_affiliation_strings":["Embedded Systems Laboratory, Linkoping University, Linkoping, Sweden"],"raw_orcid":"https://orcid.org/0000-0002-5137-565X","affiliations":[{"raw_affiliation_string":"Embedded Systems Laboratory, Linkoping University, Linkoping, Sweden","institution_ids":["https://openalex.org/I102134673"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005848285","display_name":"Erik Larsson","orcid":"https://orcid.org/0000-0001-6672-0279"},"institutions":[{"id":"https://openalex.org/I187531555","display_name":"Lund University","ror":"https://ror.org/012a77v79","country_code":"SE","type":"education","lineage":["https://openalex.org/I187531555"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Erik Larsson","raw_affiliation_strings":["Electrical and Information Technology, Lund University, Lund, Sweden"],"raw_orcid":"https://orcid.org/0000-0001-6672-0279","affiliations":[{"raw_affiliation_string":"Electrical and Information Technology, Lund University, Lund, Sweden","institution_ids":["https://openalex.org/I187531555"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100637538","display_name":"Tao Yang","orcid":"https://orcid.org/0000-0002-4053-124X"},"institutions":[{"id":"https://openalex.org/I4210123185","display_name":"Zhejiang Lab","ror":"https://ror.org/02m2h7991","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210123185"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tao Yang","raw_affiliation_strings":["Advanced Computer Research Center, Zhejiang Laboratory, Hangzhou, Zhejiang, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Advanced Computer Research Center, Zhejiang Laboratory, Hangzhou, Zhejiang, China","institution_ids":["https://openalex.org/I4210123185"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088671434","display_name":"Jianhui Jiang","orcid":"https://orcid.org/0000-0002-5829-8423"},"institutions":[{"id":"https://openalex.org/I116953780","display_name":"Tongji University","ror":"https://ror.org/03rc6as71","country_code":"CN","type":"education","lineage":["https://openalex.org/I116953780"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianhui Jiang","raw_affiliation_strings":["School of Software Engineering, Tongji University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0002-5829-8423","affiliations":[{"raw_affiliation_string":"School of Software Engineering, Tongji University, Shanghai, China","institution_ids":["https://openalex.org/I116953780"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100768288","display_name":"Huawei Li","orcid":"https://orcid.org/0000-0001-8082-4218"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huawei Li","raw_affiliation_strings":["SKLCA, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-8082-4218","affiliations":[{"raw_affiliation_string":"SKLCA, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6296,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.76907742,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":"43","issue":"10","first_page":"3226","last_page":"3239"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.9251000285148621,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/T10533","display_name":"Teaching and Learning Programming","score":0.9251000285148621,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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.4708017110824585}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4708017110824585}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tcad.2024.3389558","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2024.3389558","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"},{"id":"pmh:oai:lup.lub.lu.se:e56bb614-defa-4b61-900c-84be117e257a","is_oa":false,"landing_page_url":"https://lup.lub.lu.se/record/e56bb614-defa-4b61-900c-84be117e257a","pdf_url":null,"source":{"id":"https://openalex.org/S4306400536","display_name":"Lund University Publications (Lund University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I187531555","host_organization_name":"Lund University","host_organization_lineage":["https://openalex.org/I187531555"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN: 0278-0070","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3792108932","display_name":null,"funder_award_id":"62374114","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4402920525","display_name":null,"funder_award_id":"61974105","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4478266629","display_name":null,"funder_award_id":"62090024","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8598535777","display_name":null,"funder_award_id":"62373206","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W1967726944","https://openalex.org/W2010596503","https://openalex.org/W2017371166","https://openalex.org/W2019077463","https://openalex.org/W2021949528","https://openalex.org/W2032972350","https://openalex.org/W2047855165","https://openalex.org/W2111015674","https://openalex.org/W2112073852","https://openalex.org/W2128255161","https://openalex.org/W2145771994","https://openalex.org/W2148354239","https://openalex.org/W2151398141","https://openalex.org/W2158246429","https://openalex.org/W2161998562","https://openalex.org/W2172060328","https://openalex.org/W2173124859","https://openalex.org/W2189470380","https://openalex.org/W2207233201","https://openalex.org/W2293624369","https://openalex.org/W2394653540","https://openalex.org/W2403248509","https://openalex.org/W2511422681","https://openalex.org/W2536183451","https://openalex.org/W2537149536","https://openalex.org/W2545484875","https://openalex.org/W2757400610","https://openalex.org/W2892305962","https://openalex.org/W2901579402","https://openalex.org/W2903964109","https://openalex.org/W2907134375","https://openalex.org/W2963784274","https://openalex.org/W2989672901","https://openalex.org/W3006899568","https://openalex.org/W3036557299","https://openalex.org/W3036618276","https://openalex.org/W3080770657","https://openalex.org/W3091772858","https://openalex.org/W3114160048","https://openalex.org/W3154604125","https://openalex.org/W3176686472","https://openalex.org/W3216472574","https://openalex.org/W4245108087","https://openalex.org/W4245538934","https://openalex.org/W4367721619","https://openalex.org/W6704796922"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":{"Amid":[0],"growing":[1],"concerns":[2],"about":[3],"hardware":[4],"security,":[5],"comprehensive":[6],"security":[7,152],"testing":[8],"has":[9,110],"become":[10],"essential":[11],"for":[12,21,170],"chip":[13],"certification.":[14],"This":[15,63],"paper":[16],"proposes":[17],"a":[18,31,42,49,87,165],"deep-testing":[19,158],"method":[20,159],"identifying":[22],"Trojans":[23,133],"of":[24,45,153],"particular":[25],"concern":[26],"to":[27,67,80,102,144,163],"middle-to-high-end":[28],"users,":[29],"with":[30,113],"focus":[32],"on":[33,116],"illegal":[34,57],"instructions.":[35],"A":[36],"hidden":[37,70,88],"instruction":[38,58,132,173],"Trojan":[39,66],"can":[40,134],"employ":[41],"low-probability":[43],"sequence":[44],"normal":[46,142],"instructions":[47],"as":[48,90],"boot":[50],"sequence,":[51],"which":[52],"is":[53,160],"followed":[54],"by":[55,85,137],"an":[56,77,96],"that":[59,129],"triggers":[60],"the":[61,65,72,117,130,151],"Trojan.":[62],"enables":[64],"remain":[68],"deeply":[69],"within":[71],"processor.":[73],"It":[74],"then":[75],"exploits":[76],"intrusion":[78],"mechanism":[79],"acquire":[81],"Linux":[82],"control":[83],"authority":[84],"setting":[86],"interrupt":[89],"its":[91],"payload.":[92],"We":[93],"have":[94],"developed":[95],"unbounded":[97],"model":[98],"checking":[99],"(UMC)":[100],"technique":[101,109],"uncover":[103],"such":[104],"Trojans.":[105,174],"The":[106],"proposed":[107,157],"UMC":[108],"been":[111],"optimized":[112],"slicing":[114],"based":[115],"input":[118],"cone,":[119],"head-point":[120],"replacement,":[121],"and":[122,149,167],"backward":[123],"implication.":[124],"Our":[125],"experimental":[126],"results":[127],"demonstrate":[128],"presented":[131],"survive":[135],"detection":[136],"existing":[138],"methods,":[139],"thus":[140],"allowing":[141],"users":[143],"steal":[145],"root":[146],"user":[147],"privileges":[148],"compromising":[150],"processors.":[154],"Moreover,":[155],"our":[156],"empirically":[161],"shown":[162],"be":[164],"powerful":[166],"effective":[168],"approach":[169],"detecting":[171],"these":[172]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}