{"id":"https://openalex.org/W4212765767","doi":"https://doi.org/10.1109/asp-dac52403.2022.9712570","title":"Automated Detection of Spatial Memory Safety Violations for Constrained Devices","display_name":"Automated Detection of Spatial Memory Safety Violations for Constrained Devices","publication_year":2022,"publication_date":"2022-01-17","ids":{"openalex":"https://openalex.org/W4212765767","doi":"https://doi.org/10.1109/asp-dac52403.2022.9712570"},"language":"en","primary_location":{"id":"doi:10.1109/asp-dac52403.2022.9712570","is_oa":false,"landing_page_url":"https://doi.org/10.1109/asp-dac52403.2022.9712570","pdf_url":null,"source":{"id":"https://openalex.org/S4363608500","display_name":"2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5012972830","display_name":"S\u00f6ren Tempel","orcid":"https://orcid.org/0000-0002-3076-893X"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Soren Tempel","raw_affiliation_strings":["Institute of Computer Science, University of Bremen,Bremen,Germany","Institute of Computer Science, University of Bremen, Bremen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, University of Bremen,Bremen,Germany","institution_ids":["https://openalex.org/I180437899"]},{"raw_affiliation_string":"Institute of Computer Science, University of Bremen, Bremen, Germany","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012137527","display_name":"Vladimir Herdt","orcid":"https://orcid.org/0000-0002-4481-057X"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]},{"id":"https://openalex.org/I33256026","display_name":"German Research Centre for Artificial Intelligence","ror":"https://ror.org/01ayc5b57","country_code":"DE","type":"funder","lineage":["https://openalex.org/I33256026"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Vladimir Herdt","raw_affiliation_strings":["Institute of Computer Science, University of Bremen,Bremen,Germany","Cyber-Physical Systems, DFKI GmbH, Bremen, Germany","Institute of Computer Science, University of Bremen, Bremen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, University of Bremen,Bremen,Germany","institution_ids":["https://openalex.org/I180437899"]},{"raw_affiliation_string":"Cyber-Physical Systems, DFKI GmbH, Bremen, Germany","institution_ids":["https://openalex.org/I33256026"]},{"raw_affiliation_string":"Institute of Computer Science, University of Bremen, Bremen, Germany","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071742136","display_name":"Rolf Drechsler","orcid":"https://orcid.org/0000-0002-9872-1740"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]},{"id":"https://openalex.org/I33256026","display_name":"German Research Centre for Artificial Intelligence","ror":"https://ror.org/01ayc5b57","country_code":"DE","type":"funder","lineage":["https://openalex.org/I33256026"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Rolf Drechsler","raw_affiliation_strings":["Institute of Computer Science, University of Bremen,Bremen,Germany","Cyber-Physical Systems, DFKI GmbH, Bremen, Germany","Institute of Computer Science, University of Bremen, Bremen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, University of Bremen,Bremen,Germany","institution_ids":["https://openalex.org/I180437899"]},{"raw_affiliation_string":"Cyber-Physical Systems, DFKI GmbH, Bremen, Germany","institution_ids":["https://openalex.org/I33256026"]},{"raw_affiliation_string":"Institute of Computer Science, University of Bremen, Bremen, Germany","institution_ids":["https://openalex.org/I180437899"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.1687,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.35983846,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"36","issue":null,"first_page":"160","last_page":"165"},"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.9994999766349792,"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.9994999766349792,"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.9965000152587891,"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/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9925000071525574,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.8656265735626221},{"id":"https://openalex.org/keywords/memory-safety","display_name":"Memory safety","score":0.7389500737190247},{"id":"https://openalex.org/keywords/buffer-overflow","display_name":"Buffer overflow","score":0.6513968706130981},{"id":"https://openalex.org/keywords/memory-protection","display_name":"Memory protection","score":0.5885744094848633},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.586648166179657},{"id":"https://openalex.org/keywords/systemc","display_name":"SystemC","score":0.5283231139183044},{"id":"https://openalex.org/keywords/virtual-memory","display_name":"Virtual memory","score":0.454540491104126},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.45364993810653687},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4480486512184143},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.4283272624015808},{"id":"https://openalex.org/keywords/memory-management","display_name":"Memory management","score":0.4148690104484558},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3562920093536377},{"id":"https://openalex.org/keywords/overlay","display_name":"Overlay","score":0.12714990973472595},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12172144651412964}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8656265735626221},{"id":"https://openalex.org/C28180684","wikidata":"https://www.wikidata.org/wiki/Q4080983","display_name":"Memory safety","level":3,"score":0.7389500737190247},{"id":"https://openalex.org/C40842320","wikidata":"https://www.wikidata.org/wiki/Q19423","display_name":"Buffer overflow","level":2,"score":0.6513968706130981},{"id":"https://openalex.org/C18131444","wikidata":"https://www.wikidata.org/wiki/Q163585","display_name":"Memory protection","level":5,"score":0.5885744094848633},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.586648166179657},{"id":"https://openalex.org/C2776928060","wikidata":"https://www.wikidata.org/wiki/Q1753563","display_name":"SystemC","level":2,"score":0.5283231139183044},{"id":"https://openalex.org/C76399640","wikidata":"https://www.wikidata.org/wiki/Q189401","display_name":"Virtual memory","level":4,"score":0.454540491104126},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.45364993810653687},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4480486512184143},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.4283272624015808},{"id":"https://openalex.org/C176649486","wikidata":"https://www.wikidata.org/wiki/Q2308807","display_name":"Memory management","level":3,"score":0.4148690104484558},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3562920093536377},{"id":"https://openalex.org/C136085584","wikidata":"https://www.wikidata.org/wiki/Q910289","display_name":"Overlay","level":2,"score":0.12714990973472595},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12172144651412964},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/asp-dac52403.2022.9712570","is_oa":false,"landing_page_url":"https://doi.org/10.1109/asp-dac52403.2022.9712570","pdf_url":null,"source":{"id":"https://openalex.org/S4363608500","display_name":"2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7400000095367432,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W1680355580","https://openalex.org/W1694077306","https://openalex.org/W1710734607","https://openalex.org/W1878544538","https://openalex.org/W2011367000","https://openalex.org/W2117798902","https://openalex.org/W2141365240","https://openalex.org/W2294649124","https://openalex.org/W2325877089","https://openalex.org/W2343874908","https://openalex.org/W2782780792","https://openalex.org/W2791403216","https://openalex.org/W2889788853","https://openalex.org/W2907749373","https://openalex.org/W2945462412","https://openalex.org/W2963723316","https://openalex.org/W3185348128","https://openalex.org/W4237907241","https://openalex.org/W4247806563","https://openalex.org/W4254697110","https://openalex.org/W6637594488","https://openalex.org/W6637688222","https://openalex.org/W6639560864","https://openalex.org/W6757249222"],"related_works":["https://openalex.org/W2484072889","https://openalex.org/W3033191713","https://openalex.org/W3014574736","https://openalex.org/W4212765767","https://openalex.org/W1583810348","https://openalex.org/W2800985424","https://openalex.org/W4212985401","https://openalex.org/W2155552666","https://openalex.org/W4385373783","https://openalex.org/W2047240985"],"abstract_inverted_index":{"Software":[0],"written":[1,15],"for":[2,42,51,69,92],"constrained":[3,52,103],"devices,":[4],"commonly":[5],"used":[6],"in":[7,16,48,138],"the":[8,25,78,90,123,139,143],"Internet":[9],"of":[10,27,80,111,142],"Things":[11],"(IoT),":[12],"is":[13,85,89],"primarily":[14],"C":[17],"and":[18,65,109],"thus":[19],"subject":[20],"to":[21,102,122],"vulnerabilities":[22],"caused":[23],"by":[24,119],"lack":[26],"memory":[28,45,95,135],"safety":[29,46,96,136],"(e.g.":[30],"buffer":[31],"overflows).":[32],"To":[33,77],"prevent":[34],"these":[35],"vulnerabilities,":[36],"we":[37,129],"present":[38],"a":[39,70],"systematic":[40],"approach":[41,59,84,118],"finding":[43,93],"spatial":[44,94,134],"violations":[47,97,137],"low-level":[49],"code":[50],"embedded":[53],"devices.":[54,104],"We":[55,115],"propose":[56],"implementing":[57],"this":[58,83],"using":[60],"SystemC-based":[61],"Virtual":[62],"Prototypes":[63],"(VPs)":[64],"illustrate":[66],"an":[67,74],"architecture":[68],"non-intrusive":[71],"integration":[72],"into":[73],"existing":[75],"VP.":[76],"best":[79],"our":[81,117],"knowledge,":[82],"novel":[86],"as":[87],"it":[88,121],"first":[91],"which":[98],"addresses":[99],"challenges":[100],"spe-cific":[101],"Namely,":[105],"limited":[106],"computing":[107],"resources":[108],"utilization":[110],"custom":[112],"hardware":[113],"peripherals.":[114],"evaluate":[116],"applying":[120],"IoT":[124],"operating":[125,144],"system":[126],"RIOT":[127],"where":[128],"discovered":[130],"seven":[131],"previously":[132],"unknown":[133],"network":[140],"stack":[141],"system.":[145]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}