{"id":"https://openalex.org/W2949395975","doi":"https://doi.org/10.1145/3307650.3322256","title":"Bouncer","display_name":"Bouncer","publication_year":2019,"publication_date":"2019-06-14","ids":{"openalex":"https://openalex.org/W2949395975","doi":"https://doi.org/10.1145/3307650.3322256","mag":"2949395975"},"language":"en","primary_location":{"id":"doi:10.1145/3307650.3322256","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3307650.3322256","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3307650.3322256","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 46th International Symposium on Computer Architecture","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/3307650.3322256","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000084643","display_name":"Joseph McMahan","orcid":null},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Joseph McMahan","raw_affiliation_strings":["UC Santa Barbara"],"affiliations":[{"raw_affiliation_string":"UC Santa Barbara","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101637424","display_name":"Michael Christensen","orcid":"https://orcid.org/0000-0002-7614-5295"},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Christensen","raw_affiliation_strings":["UC Santa Barbara"],"affiliations":[{"raw_affiliation_string":"UC Santa Barbara","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059923669","display_name":"Kyle Dewey","orcid":"https://orcid.org/0000-0002-7998-3104"},"institutions":[{"id":"https://openalex.org/I157638225","display_name":"California State University, Northridge","ror":"https://ror.org/005f5hv41","country_code":"US","type":"education","lineage":["https://openalex.org/I157638225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kyle Dewey","raw_affiliation_strings":["CSU Northridge"],"affiliations":[{"raw_affiliation_string":"CSU Northridge","institution_ids":["https://openalex.org/I157638225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074393511","display_name":"Ben Hardekopf","orcid":"https://orcid.org/0009-0008-1199-6129"},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ben Hardekopf","raw_affiliation_strings":["UC Santa Barbara"],"affiliations":[{"raw_affiliation_string":"UC Santa Barbara","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036932071","display_name":"Timothy Sherwood","orcid":"https://orcid.org/0000-0002-6550-6075"},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Timothy Sherwood","raw_affiliation_strings":["UC Santa Barbara"],"affiliations":[{"raw_affiliation_string":"UC Santa Barbara","institution_ids":["https://openalex.org/I154570441"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5000084643"],"corresponding_institution_ids":["https://openalex.org/I154570441"],"apc_list":null,"apc_paid":null,"fwci":0.1445,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.56601692,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"711","last_page":"722"},"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.9998000264167786,"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.9998000264167786,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9986000061035156,"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"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9973000288009644,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8415499925613403},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5652835369110107},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5652790665626526},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.5587806105613708},{"id":"https://openalex.org/keywords/throughput","display_name":"Throughput","score":0.5279324054718018},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.5007736682891846},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.49926137924194336},{"id":"https://openalex.org/keywords/memory-safety","display_name":"Memory safety","score":0.47525593638420105},{"id":"https://openalex.org/keywords/binary-translation","display_name":"Binary translation","score":0.42449235916137695},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.32358255982398987},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16431233286857605}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8415499925613403},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5652835369110107},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5652790665626526},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5587806105613708},{"id":"https://openalex.org/C157764524","wikidata":"https://www.wikidata.org/wiki/Q1383412","display_name":"Throughput","level":3,"score":0.5279324054718018},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.5007736682891846},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.49926137924194336},{"id":"https://openalex.org/C28180684","wikidata":"https://www.wikidata.org/wiki/Q4080983","display_name":"Memory safety","level":3,"score":0.47525593638420105},{"id":"https://openalex.org/C2778971978","wikidata":"https://www.wikidata.org/wiki/Q2287075","display_name":"Binary translation","level":3,"score":0.42449235916137695},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.32358255982398987},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16431233286857605},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3307650.3322256","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3307650.3322256","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3307650.3322256","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 46th International Symposium on Computer Architecture","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3307650.3322256","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3307650.3322256","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3307650.3322256","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 46th International Symposium on Computer Architecture","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1003572525","display_name":null,"funder_award_id":"1730309","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1197071971","display_name":null,"funder_award_id":"1563935","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G218308366","display_name":null,"funder_award_id":"1717779","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4251207984","display_name":null,"funder_award_id":"1740352","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7268970212","display_name":null,"funder_award_id":"1740352, 1730309, 1717779, 1563935, 1350690","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7987543234","display_name":"CAREER: Static Analysis for Dynamic Languages","funder_award_id":"1350690","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/F4320307791","display_name":"Cisco Systems","ror":"https://ror.org/03yt1ez60"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2949395975.pdf","grobid_xml":"https://content.openalex.org/works/W2949395975.grobid-xml"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W127506714","https://openalex.org/W191489030","https://openalex.org/W1480909796","https://openalex.org/W1568194905","https://openalex.org/W1612432860","https://openalex.org/W1686420892","https://openalex.org/W2069107692","https://openalex.org/W2069954929","https://openalex.org/W2089448621","https://openalex.org/W2098298298","https://openalex.org/W2140566629","https://openalex.org/W2141365240","https://openalex.org/W2151480972","https://openalex.org/W2155851497","https://openalex.org/W2158763360","https://openalex.org/W2165266180","https://openalex.org/W2249862487","https://openalex.org/W2302344383","https://openalex.org/W2345585541","https://openalex.org/W2406734572","https://openalex.org/W2427840161","https://openalex.org/W2533631495","https://openalex.org/W2585062307","https://openalex.org/W2604254497","https://openalex.org/W2605103081","https://openalex.org/W2766016194","https://openalex.org/W4249902158"],"related_works":["https://openalex.org/W2140217284","https://openalex.org/W4246237463","https://openalex.org/W2790741450","https://openalex.org/W4384302888","https://openalex.org/W2356878786","https://openalex.org/W141487401","https://openalex.org/W1570829627","https://openalex.org/W2809457911","https://openalex.org/W2573637329","https://openalex.org/W2948598708"],"abstract_inverted_index":{"When":[0],"discussing":[1],"safety":[2,213],"and":[3,47,64,110,154,197,212,232],"security":[4,211],"for":[5,96],"embedded":[6,90,167],"systems,":[7],"we":[8],"typically":[9],"divide":[10],"the":[11,44,67,74,77,120,166,205,219,229,234],"world":[12],"into":[13,73,165],"software":[14,61],"checks":[15,24,34],"(which":[16,25],"are":[17,26,41,49,70,79,163],"either":[18],"static":[19,97,223],"or":[20,22,81],"dynamic)":[21],"hardware":[23,33,95,137,160,230],"dynamic).":[27],"As":[28],"others":[29],"have":[30],"pointed":[31],"out,":[32],"offer":[35],"more":[36,178,237],"than":[37,128,179],"just":[38],"efficiency.":[39],"They":[40],"intrinsic":[42],"to":[43,56,66,83,236],"device's":[45],"functionality":[46],"thus":[48],"live":[50],"from":[51,115,202],"power-up;":[52],"they":[53,69,162],"require":[54],"little":[55],"no":[57,177],"dependency":[58],"on":[59],"other":[60,112],"functioning":[62],"correctly,":[63],"due":[65],"fact":[68],"wired":[71],"directly":[72,158],"operation":[75],"of":[76,146,184,191,204],"system,":[78],"difficult":[80],"impossible":[82],"bypass.":[84],"We":[85,131,215],"explore":[86],"an":[87,188],"experimental":[88],"new":[89],"system":[91,172],"that":[92,99,133,208],"uses":[93],"special-purpose":[94],"analysis":[98,123,224],"prevents":[100],"all":[101],"program":[102,168],"binaries":[103,150,186],"with":[104],"memory":[105],"errors,":[106],"invalid":[107],"control":[108],"flow,":[109],"several":[111],"undesirable":[113],"properties":[114],"ever":[116],"being":[117],"loaded":[118,164],"onto":[119],"device.":[121],"Static":[122],"often":[124],"requires":[125],"whole-binary-level,":[126],"rather":[127],"instruction-level,":[129],"examination.":[130],"show":[132],"a":[134,152],"carefully":[135],"constructed":[136],"state":[138],"machine,":[139],"using":[140],"available":[141],"scratch-pad":[142],"memory,":[143],"is":[144,173,218],"capable":[145],"efficiently":[147],"checking":[148,185],"functional":[149],"in":[151,159,210],"streaming":[153],"verifiably":[155],"non-bypassable":[156],"way":[157],"as":[161],"store.":[169],"The":[170],"resulting":[171],"surprisingly":[174],"small":[175],"(taking":[176],".0079":[180],"mm2),":[181],"efficient":[182],"(capable":[183],"at":[187,228],"average":[189],"throughput":[190],"around":[192],"60":[193],"cycles":[194],"per":[195],"instruction),":[196],"yet":[198],"guarantees":[199],"execution":[200],"free":[201],"many":[203],"fragile":[206],"behaviors":[207],"result":[209],"concerns.":[214],"believe":[216],"this":[217],"first":[220],"time":[221],"any":[222],"has":[225],"been":[226],"implemented":[227],"level":[231],"opens":[233],"door":[235],"complex":[238],"hardware-checked":[239],"properties.":[240]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2019-06-27T00:00:00"}