Matches in SemOpenAlex for { <https://semopenalex.org/work/W2904305758> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2904305758 abstract "This paper presents Coppelia, an end-to-end tool that, given a processor design and a set of security-critical invariants, automatically generates complete, replayable exploit programs to help designers find, contextualize, and assess the security threat of hardware vulnerabilities. In Coppelia, we develop a hardware-oriented backward symbolic execution engine with a new cycle stitching method and fast validation technique, along with several optimizations for exploit generation. We then add program stubs to complete the exploit. We evaluate Coppelia on three CPUs of different architectures. Coppelia is able to find and generate exploits for 29 of 31 known vulnerabilities in these CPUs, including 11 vulnerabilities that commercial and academic model checking tools can not find. All of the generated exploits are successfully replayable on an FPGA board. Moreover, Coppelia finds 4 new vulnerabilities along with exploits in these CPUs. We also use Coppelia to verify whether a security patch indeed fixed a vulnerability, and to refine a set of assertions." @default.
- W2904305758 created "2018-12-22" @default.
- W2904305758 creator A5048337173 @default.
- W2904305758 creator A5065037360 @default.
- W2904305758 creator A5078778324 @default.
- W2904305758 creator A5088586496 @default.
- W2904305758 date "2018-10-01" @default.
- W2904305758 modified "2023-10-11" @default.
- W2904305758 title "End-to-End Automated Exploit Generation for Validating the Security of Processor Designs" @default.
- W2904305758 cites W1496222301 @default.
- W2904305758 cites W1528837436 @default.
- W2904305758 cites W1541663547 @default.
- W2904305758 cites W1694077306 @default.
- W2904305758 cites W1710734607 @default.
- W2904305758 cites W1917325995 @default.
- W2904305758 cites W1984478483 @default.
- W2904305758 cites W2002316587 @default.
- W2904305758 cites W2036620903 @default.
- W2904305758 cites W2042033151 @default.
- W2904305758 cites W2051990174 @default.
- W2904305758 cites W2054753696 @default.
- W2904305758 cites W2074086222 @default.
- W2904305758 cites W2101512909 @default.
- W2904305758 cites W2111276854 @default.
- W2904305758 cites W2113864883 @default.
- W2904305758 cites W2116469687 @default.
- W2904305758 cites W2119441703 @default.
- W2904305758 cites W2128769765 @default.
- W2904305758 cites W2129482816 @default.
- W2904305758 cites W2131129639 @default.
- W2904305758 cites W2132897303 @default.
- W2904305758 cites W2137035823 @default.
- W2904305758 cites W2145936802 @default.
- W2904305758 cites W2150619336 @default.
- W2904305758 cites W2165597437 @default.
- W2904305758 cites W2186104740 @default.
- W2904305758 cites W2604756280 @default.
- W2904305758 cites W2605103081 @default.
- W2904305758 cites W2614052576 @default.
- W2904305758 cites W2623182815 @default.
- W2904305758 cites W2642053679 @default.
- W2904305758 cites W2750797776 @default.
- W2904305758 cites W2766016194 @default.
- W2904305758 cites W581518716 @default.
- W2904305758 doi "https://doi.org/10.1109/micro.2018.00071" @default.
- W2904305758 hasPublicationYear "2018" @default.
- W2904305758 type Work @default.
- W2904305758 sameAs 2904305758 @default.
- W2904305758 citedByCount "27" @default.
- W2904305758 countsByYear W29043057582018 @default.
- W2904305758 countsByYear W29043057582020 @default.
- W2904305758 countsByYear W29043057582021 @default.
- W2904305758 countsByYear W29043057582022 @default.
- W2904305758 countsByYear W29043057582023 @default.
- W2904305758 crossrefType "proceedings-article" @default.
- W2904305758 hasAuthorship W2904305758A5048337173 @default.
- W2904305758 hasAuthorship W2904305758A5065037360 @default.
- W2904305758 hasAuthorship W2904305758A5078778324 @default.
- W2904305758 hasAuthorship W2904305758A5088586496 @default.
- W2904305758 hasConcept C140547941 @default.
- W2904305758 hasConcept C149635348 @default.
- W2904305758 hasConcept C154945302 @default.
- W2904305758 hasConcept C165696696 @default.
- W2904305758 hasConcept C177264268 @default.
- W2904305758 hasConcept C199360897 @default.
- W2904305758 hasConcept C29081049 @default.
- W2904305758 hasConcept C38652104 @default.
- W2904305758 hasConcept C41008148 @default.
- W2904305758 hasConcept C42935608 @default.
- W2904305758 hasConcept C95713431 @default.
- W2904305758 hasConceptScore W2904305758C140547941 @default.
- W2904305758 hasConceptScore W2904305758C149635348 @default.
- W2904305758 hasConceptScore W2904305758C154945302 @default.
- W2904305758 hasConceptScore W2904305758C165696696 @default.
- W2904305758 hasConceptScore W2904305758C177264268 @default.
- W2904305758 hasConceptScore W2904305758C199360897 @default.
- W2904305758 hasConceptScore W2904305758C29081049 @default.
- W2904305758 hasConceptScore W2904305758C38652104 @default.
- W2904305758 hasConceptScore W2904305758C41008148 @default.
- W2904305758 hasConceptScore W2904305758C42935608 @default.
- W2904305758 hasConceptScore W2904305758C95713431 @default.
- W2904305758 hasLocation W29043057581 @default.
- W2904305758 hasOpenAccess W2904305758 @default.
- W2904305758 hasPrimaryLocation W29043057581 @default.
- W2904305758 hasRelatedWork W1482973429 @default.
- W2904305758 hasRelatedWork W1968625315 @default.
- W2904305758 hasRelatedWork W2091466534 @default.
- W2904305758 hasRelatedWork W2891427086 @default.
- W2904305758 hasRelatedWork W2906845177 @default.
- W2904305758 hasRelatedWork W2978853634 @default.
- W2904305758 hasRelatedWork W3130460901 @default.
- W2904305758 hasRelatedWork W4200107511 @default.
- W2904305758 hasRelatedWork W4200223299 @default.
- W2904305758 hasRelatedWork W922414892 @default.
- W2904305758 isParatext "false" @default.
- W2904305758 isRetracted "false" @default.
- W2904305758 magId "2904305758" @default.
- W2904305758 workType "article" @default.