{"id":"https://openalex.org/W3154551082","doi":"https://doi.org/10.1145/3445814.3446736","title":"HerQules: securing programs via hardware-enforced message queues","display_name":"HerQules: securing programs via hardware-enforced message queues","publication_year":2021,"publication_date":"2021-04-11","ids":{"openalex":"https://openalex.org/W3154551082","doi":"https://doi.org/10.1145/3445814.3446736","mag":"3154551082"},"language":"en","primary_location":{"id":"doi:10.1145/3445814.3446736","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3445814.3446736","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3445814.3446736","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3445814.3446736","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057458045","display_name":"Daming D. Chen","orcid":"https://orcid.org/0000-0001-6127-0774"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Daming D. Chen","raw_affiliation_strings":["Carnegie Mellon University, USA"],"raw_orcid":"https://orcid.org/0000-0001-6127-0774","affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079345030","display_name":"Wen Shih Lim","orcid":null},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wen Shih Lim","raw_affiliation_strings":["Carnegie Mellon University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045254478","display_name":"Mohammad Bakhshalipour","orcid":"https://orcid.org/0000-0001-6648-1773"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mohammad Bakhshalipour","raw_affiliation_strings":["Carnegie Mellon University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014824446","display_name":"Phillip B. Gibbons","orcid":"https://orcid.org/0000-0001-6967-2735"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Phillip B. Gibbons","raw_affiliation_strings":["Carnegie Mellon University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019376179","display_name":"James C. Hoe","orcid":"https://orcid.org/0000-0002-9302-5287"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"James C. Hoe","raw_affiliation_strings":["Carnegie Mellon University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048461894","display_name":"Bryan Parno","orcid":"https://orcid.org/0000-0002-9113-1684"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bryan Parno","raw_affiliation_strings":["Carnegie Mellon University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I74973139"],"apc_list":null,"apc_paid":null,"fwci":0.2798,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.62172674,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"773","last_page":"788"},"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.992900013923645,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9894999861717224,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.8674366474151611},{"id":"https://openalex.org/keywords/metadata","display_name":"Metadata","score":0.6076638698577881},{"id":"https://openalex.org/keywords/memory-safety","display_name":"Memory safety","score":0.5956237316131592},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.5345420241355896},{"id":"https://openalex.org/keywords/memory-protection","display_name":"Memory protection","score":0.5232433676719666},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.4724210500717163},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4720909297466278},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.43984532356262207},{"id":"https://openalex.org/keywords/memory-management","display_name":"Memory management","score":0.4086171090602875},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4039277732372284},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2438526749610901},{"id":"https://openalex.org/keywords/virtual-memory","display_name":"Virtual memory","score":0.20954439043998718},{"id":"https://openalex.org/keywords/semiconductor-memory","display_name":"Semiconductor memory","score":0.10978934168815613}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8674366474151611},{"id":"https://openalex.org/C93518851","wikidata":"https://www.wikidata.org/wiki/Q180160","display_name":"Metadata","level":2,"score":0.6076638698577881},{"id":"https://openalex.org/C28180684","wikidata":"https://www.wikidata.org/wiki/Q4080983","display_name":"Memory safety","level":3,"score":0.5956237316131592},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.5345420241355896},{"id":"https://openalex.org/C18131444","wikidata":"https://www.wikidata.org/wiki/Q163585","display_name":"Memory protection","level":5,"score":0.5232433676719666},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.4724210500717163},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4720909297466278},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.43984532356262207},{"id":"https://openalex.org/C176649486","wikidata":"https://www.wikidata.org/wiki/Q2308807","display_name":"Memory management","level":3,"score":0.4086171090602875},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4039277732372284},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2438526749610901},{"id":"https://openalex.org/C76399640","wikidata":"https://www.wikidata.org/wiki/Q189401","display_name":"Virtual memory","level":4,"score":0.20954439043998718},{"id":"https://openalex.org/C98986596","wikidata":"https://www.wikidata.org/wiki/Q1143031","display_name":"Semiconductor memory","level":2,"score":0.10978934168815613}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3445814.3446736","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3445814.3446736","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3445814.3446736","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3445814.3446736","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3445814.3446736","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3445814.3446736","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4504108201","display_name":null,"funder_award_id":"N00014-17-1","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G637290822","display_name":null,"funder_award_id":"N00014-17-1-289","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G7163161335","display_name":null,"funder_award_id":"CCF-2028949","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G747600346","display_name":"PPoSS: Planning: Prescriptive Memory: Razing the Semantic Wall Between Applications and Computer Systems","funder_award_id":"2028949","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306087","display_name":"Semiconductor Research Corporation","ror":"https://ror.org/047z4n946"},{"id":"https://openalex.org/F4320306151","display_name":"Alfred P. Sloan Foundation","ror":"https://ror.org/052csg198"},{"id":"https://openalex.org/F4320307102","display_name":"Intel Corporation","ror":"https://ror.org/01ek73717"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320332923","display_name":"U.S. Navy","ror":"https://ror.org/03ar0mv07"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3154551082.pdf","grobid_xml":"https://content.openalex.org/works/W3154551082.grobid-xml"},"referenced_works_count":86,"referenced_works":["https://openalex.org/W1542906860","https://openalex.org/W1544471297","https://openalex.org/W1545927878","https://openalex.org/W1582331515","https://openalex.org/W1591211019","https://openalex.org/W1593678010","https://openalex.org/W1631846088","https://openalex.org/W1655226010","https://openalex.org/W1816718056","https://openalex.org/W1823377586","https://openalex.org/W1963947298","https://openalex.org/W1969338270","https://openalex.org/W1969501726","https://openalex.org/W1970799414","https://openalex.org/W1982778414","https://openalex.org/W1993682390","https://openalex.org/W1996931407","https://openalex.org/W2001978806","https://openalex.org/W2009801020","https://openalex.org/W2010452422","https://openalex.org/W2020208333","https://openalex.org/W2021806553","https://openalex.org/W2022292029","https://openalex.org/W2036853599","https://openalex.org/W2042856445","https://openalex.org/W2055084740","https://openalex.org/W2072102701","https://openalex.org/W2079029390","https://openalex.org/W2080313875","https://openalex.org/W2081768685","https://openalex.org/W2082956176","https://openalex.org/W2086277109","https://openalex.org/W2101811680","https://openalex.org/W2109219878","https://openalex.org/W2111379929","https://openalex.org/W2113235308","https://openalex.org/W2114936722","https://openalex.org/W2117798902","https://openalex.org/W2122757982","https://openalex.org/W2124360577","https://openalex.org/W2132806808","https://openalex.org/W2138517425","https://openalex.org/W2150120520","https://openalex.org/W2153185479","https://openalex.org/W2153543246","https://openalex.org/W2155810272","https://openalex.org/W2155851497","https://openalex.org/W2159216827","https://openalex.org/W2162800072","https://openalex.org/W2168113051","https://openalex.org/W2171938395","https://openalex.org/W2176747730","https://openalex.org/W2258876169","https://openalex.org/W2301548261","https://openalex.org/W2325681100","https://openalex.org/W2460232746","https://openalex.org/W2577352649","https://openalex.org/W2584029330","https://openalex.org/W2602748134","https://openalex.org/W2605597658","https://openalex.org/W2612611921","https://openalex.org/W2612687770","https://openalex.org/W2664885055","https://openalex.org/W2752985907","https://openalex.org/W2762112776","https://openalex.org/W2793456994","https://openalex.org/W2796645376","https://openalex.org/W2798642344","https://openalex.org/W2808492852","https://openalex.org/W2883613460","https://openalex.org/W2899759798","https://openalex.org/W2945027685","https://openalex.org/W2947243817","https://openalex.org/W2953977010","https://openalex.org/W2963934162","https://openalex.org/W2965270941","https://openalex.org/W2965799842","https://openalex.org/W2965967214","https://openalex.org/W2996860026","https://openalex.org/W3012467231","https://openalex.org/W3015513242","https://openalex.org/W3101740510","https://openalex.org/W3150696551","https://openalex.org/W4245923077","https://openalex.org/W4246166885","https://openalex.org/W4251377746"],"related_works":["https://openalex.org/W2603630878","https://openalex.org/W2920119192","https://openalex.org/W4289363168","https://openalex.org/W2898329376","https://openalex.org/W2992787492","https://openalex.org/W2990206738","https://openalex.org/W2809457911","https://openalex.org/W2106412703","https://openalex.org/W3112625270","https://openalex.org/W2800985424"],"abstract_inverted_index":{"Many":[0],"computer":[1],"programs":[2],"directly":[3],"manipulate":[4],"memory":[5,12,25],"using":[6],"unsafe":[7],"pointers,":[8],"which":[9,41,63],"may":[10],"introduce":[11],"safety":[13,26],"bugs.":[14],"In":[15],"response,":[16],"past":[17],"work":[18],"has":[19],"developed":[20],"various":[21],"runtime":[22,58],"defenses,":[23],"including":[24],"checks,":[27],"as":[28,30],"well":[29],"mitigations":[31],"like":[32],"no-execute":[33],"memory,":[34],"shadow":[35],"stacks,":[36],"and":[37,70,91],"control-flow":[38],"integrity":[39],"(CFI),":[40],"aim":[42],"to":[43,55,60,66],"prevent":[44],"attackers":[45],"from":[46,87],"obtaining":[47],"program":[48],"control.":[49],"However,":[50],"software-based":[51],"designs":[52],"often":[53],"need":[54],"update":[56],"in-process":[57],"metadata":[59,81],"maximize":[61],"accuracy,":[62],"is":[64],"difficult":[65],"do":[67],"precisely,":[68],"efficiently,":[69],"securely.":[71],"Hardware-based":[72],"fine-grained":[73],"instruction":[74],"monitoring":[75],"avoids":[76],"this":[77],"problem":[78],"by":[79],"maintaining":[80],"in":[82],"special-purpose":[83],"hardware,":[84],"but":[85],"suffers":[86],"high":[88],"design":[89],"complexity":[90],"requires":[92],"significant":[93],"microarchitectural":[94],"changes.":[95]},"counts_by_year":[{"year":2024,"cited_by_count":2}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}