{"id":"https://openalex.org/W2767180444","doi":"https://doi.org/10.1145/3133956.3134062","title":"HexType","display_name":"HexType","publication_year":2017,"publication_date":"2017-10-27","ids":{"openalex":"https://openalex.org/W2767180444","doi":"https://doi.org/10.1145/3133956.3134062","mag":"2767180444"},"language":"en","primary_location":{"id":"doi:10.1145/3133956.3134062","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3133956.3134062","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://infoscience.epfl.ch/handle/20.500.14299/248618","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033516356","display_name":"Yuseok Jeon","orcid":"https://orcid.org/0000-0002-9461-6652"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Yuseok Jeon","raw_affiliation_strings":["Purdue University, West Lafayette, IN, USA"],"affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, IN, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062817825","display_name":"Priyam Biswas","orcid":null},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Priyam Biswas","raw_affiliation_strings":["Purdue University, West Lafayette, IN, USA"],"affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, IN, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063568559","display_name":"Scott Carr","orcid":null},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Scott Carr","raw_affiliation_strings":["Purdue University, West Lafayette, IN, USA"],"affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, IN, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081545538","display_name":"Byoungyoung Lee","orcid":"https://orcid.org/0000-0001-7746-0572"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Byoungyoung Lee","raw_affiliation_strings":["Purdue University, West Lafayette, IN, USA"],"affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, IN, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065116578","display_name":"Mathias Payer","orcid":"https://orcid.org/0000-0001-5054-7547"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mathias Payer","raw_affiliation_strings":["Purdue University, West lafayette, IN, USA"],"affiliations":[{"raw_affiliation_string":"Purdue University, West lafayette, IN, USA","institution_ids":["https://openalex.org/I219193219"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5033516356"],"corresponding_institution_ids":["https://openalex.org/I219193219"],"apc_list":null,"apc_paid":null,"fwci":4.6806,"has_fulltext":false,"cited_by_count":38,"citation_normalized_percentile":{"value":0.95953009,"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":"2373","last_page":"2387"},"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.9988999962806702,"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/T12479","display_name":"Web Application Security Vulnerabilities","score":0.9890000224113464,"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.8111253976821899},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.580093264579773},{"id":"https://openalex.org/keywords/confusion","display_name":"Confusion","score":0.5756215453147888},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5564360618591309},{"id":"https://openalex.org/keywords/spec#","display_name":"Spec#","score":0.4818371534347534},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.46378859877586365},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.43855834007263184},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3512515425682068}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8111253976821899},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.580093264579773},{"id":"https://openalex.org/C2781140086","wikidata":"https://www.wikidata.org/wiki/Q557945","display_name":"Confusion","level":2,"score":0.5756215453147888},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5564360618591309},{"id":"https://openalex.org/C2778565505","wikidata":"https://www.wikidata.org/wiki/Q2207566","display_name":"Spec#","level":2,"score":0.4818371534347534},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.46378859877586365},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.43855834007263184},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3512515425682068},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C11171543","wikidata":"https://www.wikidata.org/wiki/Q41630","display_name":"Psychoanalysis","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3133956.3134062","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3133956.3134062","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"},{"id":"pmh:oai:infoscience.epfl.ch:20.500.14299/248618","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/248618","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"conference proceedings"},{"id":"pmh:oai:scholarworks.unist.ac.kr:201301/48976","is_oa":false,"landing_page_url":"https://scholarworks.unist.ac.kr/handle/201301/48976","pdf_url":null,"source":{"id":"https://openalex.org/S4306401118","display_name":"Scholarworks@UNIST (Ulsan National Institute of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I48566637","host_organization_name":"Ulsan National Institute of Science and Technology","host_organization_lineage":["https://openalex.org/I48566637"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"CONFERENCE"}],"best_oa_location":{"id":"pmh:oai:infoscience.epfl.ch:20.500.14299/248618","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/248618","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"conference proceedings"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.6100000143051147,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G4571663597","display_name":null,"funder_award_id":"N00014-17-1-2513","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G610359176","display_name":null,"funder_award_id":"CNS-1513783,CNS-1657711","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/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W1431078357","https://openalex.org/W1823377586","https://openalex.org/W1825457006","https://openalex.org/W1878544538","https://openalex.org/W1993682390","https://openalex.org/W2015083179","https://openalex.org/W2033029512","https://openalex.org/W2086839628","https://openalex.org/W2098806455","https://openalex.org/W2106412703","https://openalex.org/W2109219878","https://openalex.org/W2122757982","https://openalex.org/W2124360577","https://openalex.org/W2155851497","https://openalex.org/W2156858199","https://openalex.org/W2258876169","https://openalex.org/W2296346842","https://openalex.org/W2368550879","https://openalex.org/W2516933175","https://openalex.org/W2534135179","https://openalex.org/W2560817611","https://openalex.org/W2578771209","https://openalex.org/W2597705742","https://openalex.org/W4237907241"],"related_works":["https://openalex.org/W878150521","https://openalex.org/W2008941207","https://openalex.org/W2373662841","https://openalex.org/W1970478390","https://openalex.org/W1533638723","https://openalex.org/W294916044","https://openalex.org/W2014546971","https://openalex.org/W4248631090","https://openalex.org/W2131667412","https://openalex.org/W2019959197"],"abstract_inverted_index":{"Type":[0],"confusion,":[1],"often":[2],"combined":[3],"with":[4,109,180],"use-after-free,":[5],"is":[6,22,47],"the":[7,40,50,55,60,116],"main":[8],"attack":[9,86],"vector":[10],"to":[11,85,100,160],"compromise":[12],"modern":[13],"C++":[14],"software":[15,88],"like":[16],"browsers":[17],"or":[18,96,145],"virtual":[19],"machines.":[20],"Typecasting":[21],"a":[23,45,72,184],"core":[24],"principle":[25],"that":[26],"enables":[27],"modularity":[28],"in":[29,76,190,201],"C++.":[30],"For":[31,176],"performance,":[32],"most":[33],"typecasts":[34],"are":[35,148],"only":[36,42],"checked":[37],"statically,":[38],"i.e.,":[39],"check":[41],"tests":[43],"if":[44],"cast":[46],"allowed":[48],"for":[49],"given":[51],"type":[52,58,69,74,77,82,103,112,198],"hierarchy,":[53],"ignoring":[54],"actual":[56],"runtime":[57,111],"of":[59,65,71,119],"object.":[61],"Using":[62],"an":[63,66],"object":[64,139],"incompatible":[67],"base":[68],"instead":[70],"derived":[73],"results":[75,156],"confusion.":[78],"Attackers":[79],"abuse":[80],"such":[81],"confusion":[83,199],"issues":[84],"popular":[87],"products":[89],"including":[90],"Adobe":[91],"Flash,":[92],"PHP,":[93],"Google":[94],"Chrome,":[95],"Firefox.":[97],"We":[98],"propose":[99],"make":[101],"all":[102],"checks":[104,108],"explicit,":[105],"replacing":[106],"static":[107],"full":[110],"checks.":[113],"To":[114,132],"minimize":[115],"performance":[117],"impact":[118],"our":[120],"mechanism":[121],"HexType,":[122],"we":[123,136,182],"develop":[124],"both":[125],"low-overhead":[126],"data":[127],"structures":[128],"and":[129,203],"compiler":[130],"optimizations.":[131],"maximize":[133],"detection":[134],"coverage,":[135],"handle":[137],"specific":[138],"allocation":[140],"patterns,":[141],"e.g.,":[142],"placement":[143],"new":[144,197],"reinterpret_cast":[146],"which":[147],"not":[149],"handled":[150],"by":[151],"other":[152],"mechanisms.":[153],"Our":[154],"prototype":[155],"show":[157,183],"that,":[158],"compared":[159],"prior":[161],"work,":[162],"HexType":[163,194],"has":[164],"at":[165],"least":[166],"1.1":[167],"--":[168,186],"6.1":[169],"times":[170,188],"higher":[171],"coverage":[172],"on":[173],"Firefox":[174],"benchmarks.":[175],"SPEC":[177],"CPU2006":[178],"benchmarks":[179],"overhead,":[181],"2":[185],"33.4":[187],"reduction":[189],"overhead.":[191],"In":[192],"addition,":[193],"discovered":[195],"4":[196],"bugs":[200],"Qt":[202],"Apache":[204],"Xerces-C++.":[205]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":6},{"year":2019,"cited_by_count":11},{"year":2018,"cited_by_count":7}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2017-11-10T00:00:00"}
