{"id":"https://openalex.org/W2800701409","doi":"https://doi.org/10.1109/tcad.2018.2834421","title":"TaintHLS: High-Level Synthesis for Dynamic Information Flow Tracking","display_name":"TaintHLS: High-Level Synthesis for Dynamic Information Flow Tracking","publication_year":2018,"publication_date":"2018-05-08","ids":{"openalex":"https://openalex.org/W2800701409","doi":"https://doi.org/10.1109/tcad.2018.2834421","mag":"2800701409"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2018.2834421","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2018.2834421","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":true,"oa_status":"green","oa_url":"http://hdl.handle.net/11311/1066141","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072400487","display_name":"Christian Pilato","orcid":"https://orcid.org/0000-0001-9315-1788"},"institutions":[{"id":"https://openalex.org/I57201433","display_name":"Universit\u00e0 della Svizzera italiana","ror":"https://ror.org/03c4atk17","country_code":"CH","type":"education","lineage":["https://openalex.org/I57201433"]}],"countries":["CH"],"is_corresponding":true,"raw_author_name":"Christian Pilato","raw_affiliation_strings":["Advanced Learning and Research Institute, Faculty of Informatics, Universit\u00e0 della Svizzera italiana, Lugano, Switzerland"],"affiliations":[{"raw_affiliation_string":"Advanced Learning and Research Institute, Faculty of Informatics, Universit\u00e0 della Svizzera italiana, Lugano, Switzerland","institution_ids":["https://openalex.org/I57201433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087455789","display_name":"Kaijie Wu","orcid":"https://orcid.org/0000-0001-6127-8469"},"institutions":[{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kaijie Wu","raw_affiliation_strings":["NYU Center for Cybersecurity, New York University, Brooklyn, NY, USA"],"affiliations":[{"raw_affiliation_string":"NYU Center for Cybersecurity, New York University, Brooklyn, NY, USA","institution_ids":["https://openalex.org/I57206974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010950688","display_name":"Siddharth Garg","orcid":"https://orcid.org/0000-0002-6158-9512"},"institutions":[{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Siddharth Garg","raw_affiliation_strings":["NYU Center for Cybersecurity, New York University, Brooklyn, NY, USA"],"affiliations":[{"raw_affiliation_string":"NYU Center for Cybersecurity, New York University, Brooklyn, NY, USA","institution_ids":["https://openalex.org/I57206974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059648257","display_name":"Ramesh Karri","orcid":"https://orcid.org/0000-0001-7989-5617"},"institutions":[{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ramesh Karri","raw_affiliation_strings":["NYU Center for Cybersecurity, New York University, Brooklyn, NY, USA"],"affiliations":[{"raw_affiliation_string":"NYU Center for Cybersecurity, New York University, Brooklyn, NY, USA","institution_ids":["https://openalex.org/I57206974"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049456178","display_name":"Francesco Regazzoni","orcid":"https://orcid.org/0000-0001-6385-0780"},"institutions":[{"id":"https://openalex.org/I57201433","display_name":"Universit\u00e0 della Svizzera italiana","ror":"https://ror.org/03c4atk17","country_code":"CH","type":"education","lineage":["https://openalex.org/I57201433"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Francesco Regazzoni","raw_affiliation_strings":["Advanced Learning and Research Institute, Faculty of Informatics, Universit\u00e0 della Svizzera italiana, Lugano, Switzerland"],"affiliations":[{"raw_affiliation_string":"Advanced Learning and Research Institute, Faculty of Informatics, Universit\u00e0 della Svizzera italiana, Lugano, Switzerland","institution_ids":["https://openalex.org/I57201433"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5072400487"],"corresponding_institution_ids":["https://openalex.org/I57201433"],"apc_list":null,"apc_paid":null,"fwci":3.2577,"has_fulltext":false,"cited_by_count":38,"citation_normalized_percentile":{"value":0.93586962,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"38","issue":"5","first_page":"798","last_page":"808"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":1.0,"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":1.0,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9972000122070312,"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"}},{"id":"https://openalex.org/T11614","display_name":"Cloud Data Security Solutions","score":0.98089998960495,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.826892614364624},{"id":"https://openalex.org/keywords/granularity","display_name":"Granularity","score":0.6934954524040222},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.6674726605415344},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5761463642120361},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5239408612251282},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.448818564414978},{"id":"https://openalex.org/keywords/microarchitecture","display_name":"Microarchitecture","score":0.41738489270210266},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.33137983083724976},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.27348360419273376}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.826892614364624},{"id":"https://openalex.org/C177774035","wikidata":"https://www.wikidata.org/wiki/Q1246948","display_name":"Granularity","level":2,"score":0.6934954524040222},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.6674726605415344},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5761463642120361},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5239408612251282},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.448818564414978},{"id":"https://openalex.org/C107598950","wikidata":"https://www.wikidata.org/wiki/Q259864","display_name":"Microarchitecture","level":2,"score":0.41738489270210266},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.33137983083724976},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.27348360419273376}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tcad.2018.2834421","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2018.2834421","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:re.public.polimi.it:11311/1066141","is_oa":true,"landing_page_url":"http://hdl.handle.net/11311/1066141","pdf_url":null,"source":{"id":"https://openalex.org/S4306400312","display_name":"Virtual Community of Pathological Anatomy (University of Castilla La Mancha)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79189158","host_organization_name":"University of Castilla-La Mancha","host_organization_lineage":["https://openalex.org/I79189158"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:re.public.polimi.it:11311/1066141","is_oa":true,"landing_page_url":"http://hdl.handle.net/11311/1066141","pdf_url":null,"source":{"id":"https://openalex.org/S4306400312","display_name":"Virtual Community of Pathological Anatomy (University of Castilla La Mancha)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79189158","host_organization_name":"University of Castilla-La Mancha","host_organization_lineage":["https://openalex.org/I79189158"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.699999988079071}],"awards":[{"id":"https://openalex.org/G4521401615","display_name":null,"funder_award_id":"A#: 1526405","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"},{"id":"https://openalex.org/F4320306077","display_name":"Boeing","ror":"https://ror.org/04sm5zn07"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W1963971515","https://openalex.org/W1995207020","https://openalex.org/W1999085092","https://openalex.org/W2000959442","https://openalex.org/W2006312753","https://openalex.org/W2012114780","https://openalex.org/W2019254738","https://openalex.org/W2039974221","https://openalex.org/W2045498769","https://openalex.org/W2047128179","https://openalex.org/W2062190012","https://openalex.org/W2083310763","https://openalex.org/W2085125624","https://openalex.org/W2089162427","https://openalex.org/W2100666033","https://openalex.org/W2103175743","https://openalex.org/W2108747667","https://openalex.org/W2115996698","https://openalex.org/W2129278597","https://openalex.org/W2129482816","https://openalex.org/W2148595118","https://openalex.org/W2151310824","https://openalex.org/W2171133986","https://openalex.org/W2343695530","https://openalex.org/W2522116871","https://openalex.org/W2530469366","https://openalex.org/W2614052576","https://openalex.org/W2626405519","https://openalex.org/W2889495953","https://openalex.org/W4233718815","https://openalex.org/W4233983581","https://openalex.org/W6641190993","https://openalex.org/W6651700774","https://openalex.org/W6655230987","https://openalex.org/W6682379866","https://openalex.org/W6685207584","https://openalex.org/W6727245067"],"related_works":["https://openalex.org/W1658882345","https://openalex.org/W122453572","https://openalex.org/W2351011383","https://openalex.org/W2146879484","https://openalex.org/W4221002079","https://openalex.org/W2162875803","https://openalex.org/W1757458251","https://openalex.org/W2141090099","https://openalex.org/W2045325972","https://openalex.org/W1980898636"],"abstract_inverted_index":{"Dynamic":[0],"information":[1],"flow":[2],"tracking":[3],"(DIFT)":[4],"is":[5,40,46,57,67],"a":[6,86,93,112,125,130],"technique":[7],"to":[8,42,83,88,118,134],"track":[9],"potential":[10,36],"security":[11,75],"vulnerabilities":[12],"in":[13,49,77,100],"software":[14],"and":[15,34,60,92,138,151],"hardware":[16,53,101,156],"systems":[17,51],"at":[18],"run":[19],"time.":[20],"Untrusted":[21],"data":[22],"are":[23,29],"marked":[24],"with":[25],"tags":[26],"(tainted),":[27],"which":[28],"propagated":[30],"through":[31],"the":[32,63,71,140],"system":[33],"their":[35],"for":[37,96],"unsafe":[38],"use":[39],"analyzed":[41],"prevent":[43],"them.":[44],"DIFT":[45,56,98],"not":[47],"supported":[48],"heterogeneous":[50,78],"especially":[52],"accelerators.":[54,64],"Currently,":[55],"manually":[58],"generated":[59],"integrated":[61],"into":[62],"This":[65],"process":[66,72],"error-prone,":[68],"potentially":[69],"hurting":[70],"of":[73,107],"identifying":[74],"violations":[76],"systems.":[79],"We":[80,128],"present":[81],"TaintHLS,":[82],"automatically":[84,119],"generate":[85,120,135],"micro-architecture":[87],"support":[89,99],"baseline":[90],"operations":[91],"shadow":[94],"microarchitecture":[95],"intrinsic":[97],"accelerators":[102,123,137,147],"while":[103],"providing":[104],"variable":[105],"granularity":[106],"taint":[108],"tags.":[109],"TaintHLS":[110],"offers":[111],"companion":[113],"high-level":[114,126],"synthesis":[115],"(HLS)":[116],"methodology":[117],"such":[121],"DIFT-enabled":[122,146],"from":[124],"specification.":[127],"extended":[129],"state-of-the-art":[131],"HLS":[132],"tool":[133],"DIFT-enhanced":[136],"demonstrated":[139],"approach":[141],"on":[142],"numerous":[143],"benchmarks.":[144],"The":[145],"have":[148],"negligible":[149],"performance":[150],"no":[152],"more":[153],"than":[154],"30%":[155],"overhead.":[157]},"counts_by_year":[{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":7},{"year":2021,"cited_by_count":13},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}