Matches in SemOpenAlex for { <https://semopenalex.org/work/W4308391489> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W4308391489 abstract "We propose a new approach to infer state machine models from protocol implementations. Our new tool, StateInspector, learns protocol states by using novel program analyses to combine observations of run-time memory and I/O. It requires no access to source code and only lightweight execution monitoring of the implementation under test. We demonstrate and evaluate StateInspector's effectiveness on numerous TLS and WPA/2 implementations. In the process, we show StateInspector enables deeper state discovery, increased learning efficiency, and more insight compared to existing approaches. Our method led us to discover several concerning deviations from the standards and vulnerabilities in IWD and WolfSSL, both of which were assigned CVEs." @default.
- W4308391489 created "2022-11-11" @default.
- W4308391489 creator A5020004082 @default.
- W4308391489 creator A5052109478 @default.
- W4308391489 creator A5053386773 @default.
- W4308391489 creator A5061652542 @default.
- W4308391489 creator A5065091484 @default.
- W4308391489 creator A5073849061 @default.
- W4308391489 date "2022-11-07" @default.
- W4308391489 modified "2023-09-30" @default.
- W4308391489 title "The Closer You Look, The More You Learn" @default.
- W4308391489 cites W1938383858 @default.
- W4308391489 cites W2011762419 @default.
- W4308391489 cites W2068448872 @default.
- W4308391489 cites W2115675703 @default.
- W4308391489 cites W2123016006 @default.
- W4308391489 cites W2295974667 @default.
- W4308391489 cites W2528688033 @default.
- W4308391489 cites W2532335977 @default.
- W4308391489 cites W2615918556 @default.
- W4308391489 cites W2735911163 @default.
- W4308391489 cites W2767098552 @default.
- W4308391489 cites W2868435436 @default.
- W4308391489 cites W2887644044 @default.
- W4308391489 cites W3023251497 @default.
- W4308391489 cites W3047947484 @default.
- W4308391489 cites W3082431106 @default.
- W4308391489 cites W315890393 @default.
- W4308391489 cites W3211889063 @default.
- W4308391489 cites W4288057700 @default.
- W4308391489 cites W4308391489 @default.
- W4308391489 doi "https://doi.org/10.1145/3548606.3559365" @default.
- W4308391489 hasPublicationYear "2022" @default.
- W4308391489 type Work @default.
- W4308391489 citedByCount "3" @default.
- W4308391489 countsByYear W43083914892022 @default.
- W4308391489 countsByYear W43083914892023 @default.
- W4308391489 crossrefType "proceedings-article" @default.
- W4308391489 hasAuthorship W4308391489A5020004082 @default.
- W4308391489 hasAuthorship W4308391489A5052109478 @default.
- W4308391489 hasAuthorship W4308391489A5053386773 @default.
- W4308391489 hasAuthorship W4308391489A5061652542 @default.
- W4308391489 hasAuthorship W4308391489A5065091484 @default.
- W4308391489 hasAuthorship W4308391489A5073849061 @default.
- W4308391489 hasConcept C119857082 @default.
- W4308391489 hasConcept C120314980 @default.
- W4308391489 hasConcept C142724271 @default.
- W4308391489 hasConcept C154945302 @default.
- W4308391489 hasConcept C177264268 @default.
- W4308391489 hasConcept C199360897 @default.
- W4308391489 hasConcept C204787440 @default.
- W4308391489 hasConcept C26713055 @default.
- W4308391489 hasConcept C2776760102 @default.
- W4308391489 hasConcept C2780385302 @default.
- W4308391489 hasConcept C41008148 @default.
- W4308391489 hasConcept C43126263 @default.
- W4308391489 hasConcept C48103436 @default.
- W4308391489 hasConcept C71924100 @default.
- W4308391489 hasConcept C98045186 @default.
- W4308391489 hasConceptScore W4308391489C119857082 @default.
- W4308391489 hasConceptScore W4308391489C120314980 @default.
- W4308391489 hasConceptScore W4308391489C142724271 @default.
- W4308391489 hasConceptScore W4308391489C154945302 @default.
- W4308391489 hasConceptScore W4308391489C177264268 @default.
- W4308391489 hasConceptScore W4308391489C199360897 @default.
- W4308391489 hasConceptScore W4308391489C204787440 @default.
- W4308391489 hasConceptScore W4308391489C26713055 @default.
- W4308391489 hasConceptScore W4308391489C2776760102 @default.
- W4308391489 hasConceptScore W4308391489C2780385302 @default.
- W4308391489 hasConceptScore W4308391489C41008148 @default.
- W4308391489 hasConceptScore W4308391489C43126263 @default.
- W4308391489 hasConceptScore W4308391489C48103436 @default.
- W4308391489 hasConceptScore W4308391489C71924100 @default.
- W4308391489 hasConceptScore W4308391489C98045186 @default.
- W4308391489 hasFunder F4320334627 @default.
- W4308391489 hasLocation W43083914891 @default.
- W4308391489 hasOpenAccess W4308391489 @default.
- W4308391489 hasPrimaryLocation W43083914891 @default.
- W4308391489 hasRelatedWork W1504651774 @default.
- W4308391489 hasRelatedWork W1554764448 @default.
- W4308391489 hasRelatedWork W1565501066 @default.
- W4308391489 hasRelatedWork W1596157658 @default.
- W4308391489 hasRelatedWork W1984757784 @default.
- W4308391489 hasRelatedWork W2083338789 @default.
- W4308391489 hasRelatedWork W2380602769 @default.
- W4308391489 hasRelatedWork W2384847609 @default.
- W4308391489 hasRelatedWork W2477215876 @default.
- W4308391489 hasRelatedWork W2748872428 @default.
- W4308391489 isParatext "false" @default.
- W4308391489 isRetracted "false" @default.
- W4308391489 workType "article" @default.