Matches in SemOpenAlex for { <https://semopenalex.org/work/W2293673734> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2293673734 endingPage "269" @default.
- W2293673734 startingPage "247" @default.
- W2293673734 abstract "Integer overflow presents a major source of security threats to information systems. However, current solutions are less effective in detecting integer overflow vulnerabilities: they either produce unacceptably high false positive rates or cannot generate concrete inputs towards vulnerability exploration. This limits the usability of these solutions in analyzing real-world applications, especially those in the format of binary executables.In this paper, we present a platform, called INDIO, for accurately detecting integer overflow vulnerabilities in Windows binaries. INDIO integrates the techniques of pattern-matching for quick identification of potential vulnerabilities, vulnerability ranking for economic elimination of false positives, and selective symbolic execution for rigorous elimination of false positives. As a result, INDIO can detect integer overflow with low false positive and false negative rates.We have applied INDIO to several real-world, large-size Windows binaries, and the experimental results confirmed the effectiveness of INDIO all known and two previously unknown integer overflows vulnerabilities were detected. The experiments also demonstrate that the vulnerability ranking technique and other optimization techniques employed in INDIO can significantly reduce false positives with economic costs." @default.
- W2293673734 created "2016-06-24" @default.
- W2293673734 creator A5002236536 @default.
- W2293673734 creator A5022802322 @default.
- W2293673734 creator A5025582376 @default.
- W2293673734 creator A5028656363 @default.
- W2293673734 creator A5057421680 @default.
- W2293673734 creator A5073722349 @default.
- W2293673734 creator A5078354018 @default.
- W2293673734 date "2015-01-01" @default.
- W2293673734 modified "2023-09-26" @default.
- W2293673734 title "Improving Accuracy of Static Integer Overflow Detection in Binary" @default.
- W2293673734 cites W1530478935 @default.
- W2293673734 cites W1542462119 @default.
- W2293673734 cites W1964806843 @default.
- W2293673734 cites W1969519208 @default.
- W2293673734 cites W1976878954 @default.
- W2293673734 cites W1991155991 @default.
- W2293673734 cites W1992114977 @default.
- W2293673734 cites W2028820179 @default.
- W2293673734 cites W2042033151 @default.
- W2293673734 cites W2085577046 @default.
- W2293673734 cites W2113864883 @default.
- W2293673734 cites W2119251836 @default.
- W2293673734 cites W2137530017 @default.
- W2293673734 cites W2138788987 @default.
- W2293673734 cites W2162793728 @default.
- W2293673734 cites W2163010250 @default.
- W2293673734 cites W2171156397 @default.
- W2293673734 cites W2171469152 @default.
- W2293673734 cites W3031535200 @default.
- W2293673734 cites W4232576303 @default.
- W2293673734 cites W4234542549 @default.
- W2293673734 doi "https://doi.org/10.1007/978-3-319-26362-5_12" @default.
- W2293673734 hasPublicationYear "2015" @default.
- W2293673734 type Work @default.
- W2293673734 sameAs 2293673734 @default.
- W2293673734 citedByCount "8" @default.
- W2293673734 countsByYear W22936737342016 @default.
- W2293673734 countsByYear W22936737342017 @default.
- W2293673734 countsByYear W22936737342018 @default.
- W2293673734 countsByYear W22936737342019 @default.
- W2293673734 countsByYear W22936737342021 @default.
- W2293673734 countsByYear W22936737342022 @default.
- W2293673734 crossrefType "book-chapter" @default.
- W2293673734 hasAuthorship W2293673734A5002236536 @default.
- W2293673734 hasAuthorship W2293673734A5022802322 @default.
- W2293673734 hasAuthorship W2293673734A5025582376 @default.
- W2293673734 hasAuthorship W2293673734A5028656363 @default.
- W2293673734 hasAuthorship W2293673734A5057421680 @default.
- W2293673734 hasAuthorship W2293673734A5073722349 @default.
- W2293673734 hasAuthorship W2293673734A5078354018 @default.
- W2293673734 hasConcept C11413529 @default.
- W2293673734 hasConcept C199360897 @default.
- W2293673734 hasConcept C33923547 @default.
- W2293673734 hasConcept C41008148 @default.
- W2293673734 hasConcept C48372109 @default.
- W2293673734 hasConcept C94375191 @default.
- W2293673734 hasConcept C97137487 @default.
- W2293673734 hasConceptScore W2293673734C11413529 @default.
- W2293673734 hasConceptScore W2293673734C199360897 @default.
- W2293673734 hasConceptScore W2293673734C33923547 @default.
- W2293673734 hasConceptScore W2293673734C41008148 @default.
- W2293673734 hasConceptScore W2293673734C48372109 @default.
- W2293673734 hasConceptScore W2293673734C94375191 @default.
- W2293673734 hasConceptScore W2293673734C97137487 @default.
- W2293673734 hasLocation W22936737341 @default.
- W2293673734 hasOpenAccess W2293673734 @default.
- W2293673734 hasPrimaryLocation W22936737341 @default.
- W2293673734 hasRelatedWork W1644099564 @default.
- W2293673734 hasRelatedWork W2350564501 @default.
- W2293673734 hasRelatedWork W2351491280 @default.
- W2293673734 hasRelatedWork W2371447506 @default.
- W2293673734 hasRelatedWork W2386767533 @default.
- W2293673734 hasRelatedWork W2783205753 @default.
- W2293673734 hasRelatedWork W303980170 @default.
- W2293673734 hasRelatedWork W3204597924 @default.
- W2293673734 hasRelatedWork W4298824844 @default.
- W2293673734 hasRelatedWork W4300951706 @default.
- W2293673734 isParatext "false" @default.
- W2293673734 isRetracted "false" @default.
- W2293673734 magId "2293673734" @default.
- W2293673734 workType "book-chapter" @default.