Matches in SemOpenAlex for { <https://semopenalex.org/work/W3008874807> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W3008874807 endingPage "348" @default.
- W3008874807 startingPage "337" @default.
- W3008874807 abstract "Processor emulators are widely used to provide isolation and instrumentation of binary software. However they have proved difficult to implement correctly: processor specifications have many corner cases that are not exercised by common workloads. It is untenable to base other system security properties on the correctness of emulators that have received only ad-hoc testing. To obtain emulators that are worthy of the required trust, we propose a technique to explore a high-fidelity emulator with symbolic execution, and then lift those test cases to test a lower-fidelity emulator. The high-fidelity emulator serves as a proxy for the hardware specification, but we can also further validate by running the tests on real hardware. We implement our approach and apply it to generate about 610,000 test cases; for about 95% of the instructions we achieve complete path coverage. The tests reveal thousands of individual differences; we analyze those differences to shed light on a number of root causes, such as atomicity violations and missing security features." @default.
- W3008874807 created "2020-03-06" @default.
- W3008874807 creator A5004710482 @default.
- W3008874807 creator A5011971208 @default.
- W3008874807 creator A5036630003 @default.
- W3008874807 creator A5065024045 @default.
- W3008874807 creator A5087251131 @default.
- W3008874807 date "2012-03-03" @default.
- W3008874807 modified "2023-10-18" @default.
- W3008874807 title "Path-exploration lifting" @default.
- W3008874807 cites W1865448657 @default.
- W3008874807 cites W1992181084 @default.
- W3008874807 cites W1998631637 @default.
- W3008874807 cites W2002479196 @default.
- W3008874807 cites W2006419855 @default.
- W3008874807 cites W2009489720 @default.
- W3008874807 cites W2057330156 @default.
- W3008874807 cites W2062340141 @default.
- W3008874807 cites W2101512909 @default.
- W3008874807 cites W2117030266 @default.
- W3008874807 cites W2117058582 @default.
- W3008874807 cites W2119251836 @default.
- W3008874807 cites W2132897303 @default.
- W3008874807 cites W2137530017 @default.
- W3008874807 cites W2150709728 @default.
- W3008874807 cites W2156858199 @default.
- W3008874807 cites W2169294765 @default.
- W3008874807 cites W3044736293 @default.
- W3008874807 cites W4237492309 @default.
- W3008874807 cites W4246385123 @default.
- W3008874807 doi "https://doi.org/10.1145/2248487.2151012" @default.
- W3008874807 hasPublicationYear "2012" @default.
- W3008874807 type Work @default.
- W3008874807 sameAs 3008874807 @default.
- W3008874807 citedByCount "5" @default.
- W3008874807 countsByYear W30088748072013 @default.
- W3008874807 countsByYear W30088748072019 @default.
- W3008874807 countsByYear W30088748072020 @default.
- W3008874807 countsByYear W30088748072022 @default.
- W3008874807 crossrefType "journal-article" @default.
- W3008874807 hasAuthorship W3008874807A5004710482 @default.
- W3008874807 hasAuthorship W3008874807A5011971208 @default.
- W3008874807 hasAuthorship W3008874807A5036630003 @default.
- W3008874807 hasAuthorship W3008874807A5065024045 @default.
- W3008874807 hasAuthorship W3008874807A5087251131 @default.
- W3008874807 hasConcept C120314980 @default.
- W3008874807 hasConcept C149635348 @default.
- W3008874807 hasConcept C188045909 @default.
- W3008874807 hasConcept C199360897 @default.
- W3008874807 hasConcept C2776459999 @default.
- W3008874807 hasConcept C2777735758 @default.
- W3008874807 hasConcept C2777904410 @default.
- W3008874807 hasConcept C2779639559 @default.
- W3008874807 hasConcept C41008148 @default.
- W3008874807 hasConcept C55439883 @default.
- W3008874807 hasConcept C75949130 @default.
- W3008874807 hasConcept C76155785 @default.
- W3008874807 hasConceptScore W3008874807C120314980 @default.
- W3008874807 hasConceptScore W3008874807C149635348 @default.
- W3008874807 hasConceptScore W3008874807C188045909 @default.
- W3008874807 hasConceptScore W3008874807C199360897 @default.
- W3008874807 hasConceptScore W3008874807C2776459999 @default.
- W3008874807 hasConceptScore W3008874807C2777735758 @default.
- W3008874807 hasConceptScore W3008874807C2777904410 @default.
- W3008874807 hasConceptScore W3008874807C2779639559 @default.
- W3008874807 hasConceptScore W3008874807C41008148 @default.
- W3008874807 hasConceptScore W3008874807C55439883 @default.
- W3008874807 hasConceptScore W3008874807C75949130 @default.
- W3008874807 hasConceptScore W3008874807C76155785 @default.
- W3008874807 hasIssue "4" @default.
- W3008874807 hasLocation W30088748071 @default.
- W3008874807 hasOpenAccess W3008874807 @default.
- W3008874807 hasPrimaryLocation W30088748071 @default.
- W3008874807 hasRelatedWork W2100424584 @default.
- W3008874807 hasRelatedWork W2413414728 @default.
- W3008874807 hasRelatedWork W2767681984 @default.
- W3008874807 hasRelatedWork W2972209643 @default.
- W3008874807 hasRelatedWork W3031906162 @default.
- W3008874807 hasRelatedWork W3206178602 @default.
- W3008874807 hasRelatedWork W4376123179 @default.
- W3008874807 hasRelatedWork W4386346189 @default.
- W3008874807 hasRelatedWork W78086918 @default.
- W3008874807 hasRelatedWork W2256669557 @default.
- W3008874807 hasVolume "47" @default.
- W3008874807 isParatext "false" @default.
- W3008874807 isRetracted "false" @default.
- W3008874807 magId "3008874807" @default.
- W3008874807 workType "article" @default.