{"id":"https://openalex.org/W7134964955","doi":"https://doi.org/10.1109/asp-dac66049.2026.11420554","title":"A RISC-V CHERI VP: Enabling System-Level Evaluation of the Capability-Based CHERI Architecture","display_name":"A RISC-V CHERI VP: Enabling System-Level Evaluation of the Capability-Based CHERI Architecture","publication_year":2026,"publication_date":"2026-01-19","ids":{"openalex":"https://openalex.org/W7134964955","doi":"https://doi.org/10.1109/asp-dac66049.2026.11420554"},"language":null,"primary_location":{"id":"doi:10.1109/asp-dac66049.2026.11420554","is_oa":false,"landing_page_url":"https://doi.org/10.1109/asp-dac66049.2026.11420554","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 31st 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/A5010414396","display_name":"Manfred Schl\u00e4gl","orcid":"https://orcid.org/0009-0007-3275-4797"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Manfred Schl\u00e4gl","raw_affiliation_strings":["Institute for Complex Systems Johannes Kepler University,Linz,Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Complex Systems Johannes Kepler University,Linz,Austria","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5128793936","display_name":"Andreas Hinterdorfer","orcid":null},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Andreas Hinterdorfer","raw_affiliation_strings":["Institute for Complex Systems Johannes Kepler University,Linz,Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Complex Systems Johannes Kepler University,Linz,Austria","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5128742248","display_name":"Daniel Gro\u00dfe","orcid":null},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Daniel Gro\u00dfe","raw_affiliation_strings":["Institute for Complex Systems Johannes Kepler University,Linz,Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Complex Systems Johannes Kepler University,Linz,Austria","institution_ids":["https://openalex.org/I121883995"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I121883995"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.17742664,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1230","last_page":"1236"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.25619998574256897,"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"}},"topics":[{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.25619998574256897,"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"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.20659999549388885,"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"}},{"id":"https://openalex.org/T12449","display_name":"Spacecraft Design and Technology","score":0.049300000071525574,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace 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/architecture","display_name":"Architecture","score":0.4555000066757202},{"id":"https://openalex.org/keywords/systems-architecture","display_name":"Systems architecture","score":0.30970001220703125},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.27320000529289246},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.2628999948501587},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.25850000977516174}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5691999793052673},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.4555000066757202},{"id":"https://openalex.org/C98025372","wikidata":"https://www.wikidata.org/wiki/Q477538","display_name":"Systems architecture","level":3,"score":0.30970001220703125},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.29649999737739563},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.28940001130104065},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.2858000099658966},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.27320000529289246},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.27160000801086426},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.2628999948501587},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.25850000977516174},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.2542000114917755}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/asp-dac66049.2026.11420554","is_oa":false,"landing_page_url":"https://doi.org/10.1109/asp-dac66049.2026.11420554","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 31st Asia and South Pacific Design Automation Conference (ASP-DAC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1555791645","https://openalex.org/W1904738922","https://openalex.org/W2147657366","https://openalex.org/W3152327067","https://openalex.org/W4243394032","https://openalex.org/W4361029946","https://openalex.org/W4378801016","https://openalex.org/W4400034194","https://openalex.org/W4401568655","https://openalex.org/W4405220996","https://openalex.org/W4409282730","https://openalex.org/W4410582799","https://openalex.org/W4410583821","https://openalex.org/W4414433299","https://openalex.org/W4414433334"],"related_works":[],"abstract_inverted_index":{"Despite":[0],"decades":[1],"of":[2,12,101],"mitigation":[3],"efforts,":[4],"memory":[5],"corruption":[6],"bugs":[7],"remain":[8],"a":[9,16,39],"dominant":[10],"source":[11],"security":[13],"vulnerabilities.":[14],"CHERI,":[15],"capability-based":[17],"architecture,":[18],"directly":[19],"targets":[20],"this":[21],"problem":[22],"by":[23],"replacing":[24],"traditional":[25],"pointers":[26],"with":[27,91,132,161],"Capabilities":[28],"that":[29,43],"encode":[30],"bounds,":[31],"permissions,":[32],"and":[33,72,98,111,134,149],"tamper-protection":[34],"tags.":[35],"However,":[36],"CHERI":[37],"represents":[38],"significant":[40],"architectural":[41],"intervention":[42],"impacts":[44],"not":[45],"only":[46],"the":[47,51,81,108,121,141,162],"processors":[48],"core,":[49],"but":[50],"entire":[52],"Hardware/Software":[53,76,155],"platform.":[54],"System-level":[55],"evaluation":[56],"methods,":[57],"such":[58,74,106],"as":[59,107,171],"Virtual":[60,94],"Prototypes":[61],"(VPs),":[62],"have":[63],"shown":[64],"to":[65,144,150],"be":[66],"highly":[67],"valuable":[68,152],"for":[69,93,154],"exploring,":[70],"validating,":[71],"optimizing":[73],"complex":[75,103,146],"systems.":[77],"This":[78],"paper":[79],"introduces":[80],"first":[82],"open-source":[83,172],"SystemC/TLMbased":[84],"CHERI-enhanced":[85,158],"RISC-V":[86],"VP.":[87],"The":[88,157],"VP":[89],"comes":[90],"support":[92],"Memory":[95],"Management":[96],"(VMM)":[97],"is":[99,169],"capable":[100],"executing":[102],"software":[104],"stacks,":[105],"general":[109],"purpose":[110],"memory-safe":[112],"CheriBSD":[113,133],"operating":[114],"system.":[115],"A":[116,129],"verification":[117],"using":[118],"TestRIG":[119],"demonstrates":[120],"VP\u2019s":[122,142],"robustness,":[123],"passing":[124],"2.15":[125],"million":[126],"test":[127],"cases.":[128],"case":[130,167],"study":[131,168],"10":[135],"representative,":[136],"demanding":[137],"benchmark":[138],"workloads":[139],"highlights":[140],"capability":[143],"simulate":[145],"CHERI-enabled":[147],"systems":[148],"provide":[151],"insights":[153],"co-design.":[156],"VP,":[159],"along":[160],"Software":[163],"used":[164],"in":[165],"our":[166],"available":[170],"on":[173],"GitHub.":[174]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2026-03-12T00:00:00"}