{"id":"https://openalex.org/W2893160992","doi":"https://doi.org/10.1109/tse.2018.2871666","title":"Tell You a Definite Answer: Whether Your Data is Tainted During Thread Scheduling","display_name":"Tell You a Definite Answer: Whether Your Data is Tainted During Thread Scheduling","publication_year":2018,"publication_date":"2018-09-26","ids":{"openalex":"https://openalex.org/W2893160992","doi":"https://doi.org/10.1109/tse.2018.2871666","mag":"2893160992"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2018.2871666","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2018.2871666","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","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 Software Engineering","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/A5100376221","display_name":"Xiaodong Zhang","orcid":"https://orcid.org/0000-0002-8380-1019"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xiaodong Zhang","raw_affiliation_strings":["Ministry of Education Key Lab for Intelligent Networks and Network Security, Xi'an Jiaotong University, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"Ministry of Education Key Lab for Intelligent Networks and Network Security, Xi'an Jiaotong University, Xi'an, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087186760","display_name":"Zijiang Yang","orcid":"https://orcid.org/0000-0001-6469-5217"},"institutions":[{"id":"https://openalex.org/I141649380","display_name":"Western Michigan University","ror":"https://ror.org/04j198w64","country_code":"US","type":"education","lineage":["https://openalex.org/I141649380"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zijiang Yang","raw_affiliation_strings":["Department of Computer Science, Western Michigan University, Kalamazoo, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Western Michigan University, Kalamazoo, USA","institution_ids":["https://openalex.org/I141649380"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041083459","display_name":"Qinghua Zheng","orcid":"https://orcid.org/0000-0002-8436-4754"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qinghua Zheng","raw_affiliation_strings":["Ministry of Education Key Lab for Intelligent Networks and Network Security, Xi'an Jiaotong University, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"Ministry of Education Key Lab for Intelligent Networks and Network Security, Xi'an Jiaotong University, Xi'an, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100337968","display_name":"Hao Yu","orcid":"https://orcid.org/0000-0002-3944-3162"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yu Hao","raw_affiliation_strings":["Ministry of Education Key Lab for Intelligent Networks and Network Security, Xi'an Jiaotong University, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"Ministry of Education Key Lab for Intelligent Networks and Network Security, Xi'an Jiaotong University, Xi'an, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108248693","display_name":"Pei Liu","orcid":"https://orcid.org/0009-0002-7331-4652"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Pei Liu","raw_affiliation_strings":["Ministry of Education Key Lab for Intelligent Networks and Network Security, Xi'an Jiaotong University, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"Ministry of Education Key Lab for Intelligent Networks and Network Security, Xi'an Jiaotong University, Xi'an, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101554099","display_name":"Ting Liu","orcid":"https://orcid.org/0000-0002-7600-0934"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ting Liu","raw_affiliation_strings":["Ministry of Education Key Lab for Intelligent Networks and Network Security, Xi'an Jiaotong University, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"Ministry of Education Key Lab for Intelligent Networks and Network Security, Xi'an Jiaotong University, Xi'an, China","institution_ids":["https://openalex.org/I87445476"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5100376221"],"corresponding_institution_ids":["https://openalex.org/I87445476"],"apc_list":null,"apc_paid":null,"fwci":0.3258,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.67762171,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"46","issue":"9","first_page":"916","last_page":"931"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9997000098228455,"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/T10260","display_name":"Software Engineering Research","score":0.9955000281333923,"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.9459226131439209},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.8565568327903748},{"id":"https://openalex.org/keywords/taint-checking","display_name":"Taint checking","score":0.7697420120239258},{"id":"https://openalex.org/keywords/serialization","display_name":"Serialization","score":0.6753007173538208},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.6030657887458801},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5105253458023071},{"id":"https://openalex.org/keywords/symbolic-data-analysis","display_name":"Symbolic data analysis","score":0.4966138005256653},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.44637733697891235},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4358583688735962},{"id":"https://openalex.org/keywords/malware","display_name":"Malware","score":0.4196256697177887},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.34231922030448914},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2941874861717224},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.26196008920669556},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.23188656568527222}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9459226131439209},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.8565568327903748},{"id":"https://openalex.org/C63116202","wikidata":"https://www.wikidata.org/wiki/Q7676227","display_name":"Taint checking","level":3,"score":0.7697420120239258},{"id":"https://openalex.org/C52723943","wikidata":"https://www.wikidata.org/wiki/Q1127410","display_name":"Serialization","level":2,"score":0.6753007173538208},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.6030657887458801},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5105253458023071},{"id":"https://openalex.org/C65620979","wikidata":"https://www.wikidata.org/wiki/Q7661176","display_name":"Symbolic data analysis","level":2,"score":0.4966138005256653},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.44637733697891235},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4358583688735962},{"id":"https://openalex.org/C541664917","wikidata":"https://www.wikidata.org/wiki/Q14001","display_name":"Malware","level":2,"score":0.4196256697177887},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.34231922030448914},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2941874861717224},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.26196008920669556},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.23188656568527222},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.2018.2871666","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2018.2871666","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","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 Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1067324075","display_name":null,"funder_award_id":"U1736205","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1905943838","display_name":null,"funder_award_id":"61632015","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3340281837","display_name":null,"funder_award_id":"61532015","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3679935874","display_name":null,"funder_award_id":"61472318","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4914124722","display_name":null,"funder_award_id":"151067","funder_id":"https://openalex.org/F4320334945","funder_display_name":"Fok Ying Tong Education Foundation"},{"id":"https://openalex.org/G4938631274","display_name":null,"funder_award_id":"U1766215","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6387986177","display_name":null,"funder_award_id":"61721002","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8216081277","display_name":null,"funder_award_id":"61772408","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"},{"id":"https://openalex.org/F4320334945","display_name":"Fok Ying Tong Education Foundation","ror":"https://ror.org/01mv9t934"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":67,"referenced_works":["https://openalex.org/W17989877","https://openalex.org/W149250225","https://openalex.org/W1480909796","https://openalex.org/W1522334395","https://openalex.org/W1581214603","https://openalex.org/W1582331515","https://openalex.org/W1710734607","https://openalex.org/W1887412317","https://openalex.org/W1977476643","https://openalex.org/W1992474998","https://openalex.org/W2002251314","https://openalex.org/W2013560272","https://openalex.org/W2046862377","https://openalex.org/W2060629665","https://openalex.org/W2063972446","https://openalex.org/W2078392024","https://openalex.org/W2084719450","https://openalex.org/W2089745089","https://openalex.org/W2101152030","https://openalex.org/W2102970979","https://openalex.org/W2111413199","https://openalex.org/W2112521545","https://openalex.org/W2113027907","https://openalex.org/W2115732097","https://openalex.org/W2116998907","https://openalex.org/W2119142490","https://openalex.org/W2119251836","https://openalex.org/W2120261600","https://openalex.org/W2122312154","https://openalex.org/W2127445923","https://openalex.org/W2128985333","https://openalex.org/W2132461047","https://openalex.org/W2135891363","https://openalex.org/W2135948849","https://openalex.org/W2138788987","https://openalex.org/W2139588056","https://openalex.org/W2143546156","https://openalex.org/W2144789413","https://openalex.org/W2151135920","https://openalex.org/W2155943969","https://openalex.org/W2156858199","https://openalex.org/W2157575657","https://openalex.org/W2169875292","https://openalex.org/W2171295941","https://openalex.org/W2293308013","https://openalex.org/W2401617229","https://openalex.org/W2471111208","https://openalex.org/W2561843210","https://openalex.org/W2597697275","https://openalex.org/W2601621757","https://openalex.org/W2791541601","https://openalex.org/W4230928844","https://openalex.org/W4235975350","https://openalex.org/W4236902525","https://openalex.org/W4238549726","https://openalex.org/W4239813889","https://openalex.org/W4241222299","https://openalex.org/W4246166885","https://openalex.org/W6600764434","https://openalex.org/W6634988252","https://openalex.org/W6637688222","https://openalex.org/W6639248035","https://openalex.org/W6665474652","https://openalex.org/W6675416627","https://openalex.org/W6682798926","https://openalex.org/W6696803032","https://openalex.org/W6713252871"],"related_works":["https://openalex.org/W2019299443","https://openalex.org/W345638404","https://openalex.org/W4245197793","https://openalex.org/W1994915990","https://openalex.org/W4200059639","https://openalex.org/W2101264565","https://openalex.org/W2514597554","https://openalex.org/W3141167149","https://openalex.org/W4214665345","https://openalex.org/W2138788987"],"abstract_inverted_index":{"With":[0],"the":[1,25,30,62,80,169,176,181],"advent":[2],"of":[3,18,27,117,152,171,183],"multicore":[4],"processors,":[5],"there":[6],"is":[7,45,163,175],"a":[8,53,109,148],"great":[9],"need":[10],"to":[11,15,24,34,40,71,75,99],"write":[12],"parallel":[13,19,28],"programs":[14],"take":[16],"advantage":[17],"computing":[20],"resources.":[21],"However,":[22],"due":[23],"nondeterminism":[26],"execution,":[29],"malware":[31],"behaviors":[32],"sensitive":[33],"thread":[35,128],"scheduling":[36],"are":[37],"extremely":[38],"difficult":[39],"detect.":[41],"Dynamic":[42],"taint":[43,59,67,184],"analysis":[44,68,95,113,185],"widely":[46],"used":[47],"in":[48],"security":[49],"problems.":[50],"By":[51],"serializing":[52],"multithreaded":[54,187],"execution":[55,98,135,138],"and":[56,96,126],"then":[57],"propagating":[58],"tags":[60],"along":[61],"serialized":[63],"schedule,":[64],"existing":[65],"dynamic":[66],"techniques":[69],"lead":[70],"under-tainting":[72],"with":[73],"respect":[74],"other":[76],"possible":[77,106],"interleavings":[78,116],"under":[79,108,189],"same":[81],"input.":[82,111],"In":[83],"this":[84],"paper,":[85],"we":[86],"propose":[87],"an":[88,118,153],"approach":[89],"called":[90],"DSTAM":[91,174],"that":[92,121,130,140,156,179],"integrates":[93],"symbolic":[94,143],"guided":[97],"systematically":[100],"detect":[101],"tainted":[102,124],"instances":[103],"on":[104],"all":[105],"executions":[107],"given":[110],"Symbolic":[112],"infers":[114],"alternative":[115],"executed":[119],"trace":[120],"cover":[122],"new":[123,137],"instances,":[125],"computes":[127],"schedules":[129],"guide":[131],"future":[132,142],"executions.":[133],"Guided":[134],"explores":[136],"traces":[139],"drive":[141],"analysis.":[144],"We":[145],"have":[146],"implemented":[147],"prototype":[149],"as":[150],"part":[151],"educational":[154],"tool":[155],"teaches":[157],"secure":[158],"C":[159],"programming,":[160],"where":[161],"accuracy":[162],"more":[164],"critical":[165],"than":[166],"efficiency.":[167],"To":[168],"best":[170],"our":[172],"knowledge,":[173],"first":[177],"algorithm":[178],"addresses":[180],"challenge":[182],"for":[186],"program":[188],"fixed":[190],"inputs.":[191]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}