Matches in SemOpenAlex for { <https://semopenalex.org/work/W4309698405> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W4309698405 endingPage "27" @default.
- W4309698405 startingPage "1" @default.
- W4309698405 abstract "System-on-Chip (SoC) security is vital in designing trustworthy systems. Detecting and fixing a vulnerability in the early stages is easier and cost-effective. Assertion-based verification is widely used for functional validation of Register-Transfer Level (RTL) designs. Assertions can improve the controllability and observability that can lead to faster error detection and localization. Although assertions are widely used for functional validation of RTL models, there is limited effort in applying assertions to detect SoC security vulnerabilities. Specifically, a fundamental challenge in SoC security and trust validation is how to develop high-quality security assertions. In this article, we perform automated vulnerability analysis of RTL models to generate security assertions for six classes of vulnerabilities. Experimental results show that the generated security assertions can detect a wide variety of vulnerabilities. Our automated framework can drastically reduce the overall security validation effort compared to the manual development of security assertions. Automated generation of security assertions will enable assertion-based verification to be one of the most promising pre-silicon security sign-off solutions." @default.
- W4309698405 created "2022-11-29" @default.
- W4309698405 creator A5006818844 @default.
- W4309698405 creator A5017795157 @default.
- W4309698405 creator A5059267200 @default.
- W4309698405 creator A5091423907 @default.
- W4309698405 date "2023-01-19" @default.
- W4309698405 modified "2023-09-28" @default.
- W4309698405 title "Automated Generation of Security Assertions for RTL Models" @default.
- W4309698405 cites W1917325995 @default.
- W4309698405 cites W1981151256 @default.
- W4309698405 cites W2103175743 @default.
- W4309698405 cites W2103229803 @default.
- W4309698405 cites W2614052576 @default.
- W4309698405 cites W3123479826 @default.
- W4309698405 cites W3135696753 @default.
- W4309698405 cites W4210725750 @default.
- W4309698405 cites W4214896765 @default.
- W4309698405 doi "https://doi.org/10.1145/3565801" @default.
- W4309698405 hasPublicationYear "2023" @default.
- W4309698405 type Work @default.
- W4309698405 citedByCount "0" @default.
- W4309698405 crossrefType "journal-article" @default.
- W4309698405 hasAuthorship W4309698405A5006818844 @default.
- W4309698405 hasAuthorship W4309698405A5017795157 @default.
- W4309698405 hasAuthorship W4309698405A5059267200 @default.
- W4309698405 hasAuthorship W4309698405A5091423907 @default.
- W4309698405 hasConcept C103377522 @default.
- W4309698405 hasConcept C111919701 @default.
- W4309698405 hasConcept C121822524 @default.
- W4309698405 hasConcept C149635348 @default.
- W4309698405 hasConcept C184842701 @default.
- W4309698405 hasConcept C195518309 @default.
- W4309698405 hasConcept C199360897 @default.
- W4309698405 hasConcept C28826006 @default.
- W4309698405 hasConcept C29983905 @default.
- W4309698405 hasConcept C33923547 @default.
- W4309698405 hasConcept C36299963 @default.
- W4309698405 hasConcept C38652104 @default.
- W4309698405 hasConcept C40422974 @default.
- W4309698405 hasConcept C41008148 @default.
- W4309698405 hasConcept C48209547 @default.
- W4309698405 hasConcept C527648132 @default.
- W4309698405 hasConcept C62913178 @default.
- W4309698405 hasConcept C79974875 @default.
- W4309698405 hasConcept C95713431 @default.
- W4309698405 hasConceptScore W4309698405C103377522 @default.
- W4309698405 hasConceptScore W4309698405C111919701 @default.
- W4309698405 hasConceptScore W4309698405C121822524 @default.
- W4309698405 hasConceptScore W4309698405C149635348 @default.
- W4309698405 hasConceptScore W4309698405C184842701 @default.
- W4309698405 hasConceptScore W4309698405C195518309 @default.
- W4309698405 hasConceptScore W4309698405C199360897 @default.
- W4309698405 hasConceptScore W4309698405C28826006 @default.
- W4309698405 hasConceptScore W4309698405C29983905 @default.
- W4309698405 hasConceptScore W4309698405C33923547 @default.
- W4309698405 hasConceptScore W4309698405C36299963 @default.
- W4309698405 hasConceptScore W4309698405C38652104 @default.
- W4309698405 hasConceptScore W4309698405C40422974 @default.
- W4309698405 hasConceptScore W4309698405C41008148 @default.
- W4309698405 hasConceptScore W4309698405C48209547 @default.
- W4309698405 hasConceptScore W4309698405C527648132 @default.
- W4309698405 hasConceptScore W4309698405C62913178 @default.
- W4309698405 hasConceptScore W4309698405C79974875 @default.
- W4309698405 hasConceptScore W4309698405C95713431 @default.
- W4309698405 hasIssue "1" @default.
- W4309698405 hasLocation W43096984051 @default.
- W4309698405 hasOpenAccess W4309698405 @default.
- W4309698405 hasPrimaryLocation W43096984051 @default.
- W4309698405 hasRelatedWork W1561562093 @default.
- W4309698405 hasRelatedWork W2028934647 @default.
- W4309698405 hasRelatedWork W2043506227 @default.
- W4309698405 hasRelatedWork W2047936020 @default.
- W4309698405 hasRelatedWork W2142547661 @default.
- W4309698405 hasRelatedWork W2499489413 @default.
- W4309698405 hasRelatedWork W3189065608 @default.
- W4309698405 hasRelatedWork W4309698405 @default.
- W4309698405 hasRelatedWork W896362041 @default.
- W4309698405 hasRelatedWork W2560421591 @default.
- W4309698405 hasVolume "19" @default.
- W4309698405 isParatext "false" @default.
- W4309698405 isRetracted "false" @default.
- W4309698405 workType "article" @default.