Matches in SemOpenAlex for { <https://semopenalex.org/work/W2564413892> ?p ?o ?g. }
- W2564413892 abstract "Abstract We present a method to generate automatically exploits for information flow leaks in object-oriented programs. The goal, similar to white-box test generation, is to automatically produce executable, reusable test cases that challenge a given information flow policy with a very high degree of guaranteed coverage. Our approach combines self-composition and symbolic execution to create an insecurity formula for a given program and information flow policy. Satisfiability of this formula signifies the presence of information leaks and permits to use model generation for creating exploits. We support different kinds of information flow policies like noninterference, delimited information release, and information erasure. A prototypic tool implementation for Java programs of our approach is available. It generates exploits in the form of self-contained, executable JUnit tests. We evaluate our method and tool based on a set of micro-benchmarks and a case-study on e-voting." @default.
- W2564413892 created "2017-01-06" @default.
- W2564413892 creator A5040568415 @default.
- W2564413892 creator A5082065721 @default.
- W2564413892 creator A5084143460 @default.
- W2564413892 date "2017-06-01" @default.
- W2564413892 modified "2023-10-16" @default.
- W2564413892 title "Automatic detection and demonstrator generation for information flow leaks in object-oriented programs" @default.
- W2564413892 cites W110994247 @default.
- W2564413892 cites W1480909796 @default.
- W2564413892 cites W1482412090 @default.
- W2564413892 cites W1485203819 @default.
- W2564413892 cites W1510473343 @default.
- W2564413892 cites W1519148922 @default.
- W2564413892 cites W1523035663 @default.
- W2564413892 cites W1537084112 @default.
- W2564413892 cites W1553622521 @default.
- W2564413892 cites W1586448612 @default.
- W2564413892 cites W1699577049 @default.
- W2564413892 cites W1781572998 @default.
- W2564413892 cites W1819958245 @default.
- W2564413892 cites W2008332764 @default.
- W2564413892 cites W2039304128 @default.
- W2564413892 cites W2041713059 @default.
- W2564413892 cites W2075849836 @default.
- W2564413892 cites W2095840868 @default.
- W2564413892 cites W2097043104 @default.
- W2564413892 cites W2099629271 @default.
- W2564413892 cites W2101512909 @default.
- W2564413892 cites W2108074136 @default.
- W2564413892 cites W2108104925 @default.
- W2564413892 cites W2121822272 @default.
- W2564413892 cites W2126293135 @default.
- W2564413892 cites W2128932642 @default.
- W2564413892 cites W2134829861 @default.
- W2564413892 cites W2135791304 @default.
- W2564413892 cites W2139799388 @default.
- W2564413892 cites W2149465027 @default.
- W2564413892 cites W2150174204 @default.
- W2564413892 cites W2158126684 @default.
- W2564413892 cites W2165623482 @default.
- W2564413892 cites W2197122927 @default.
- W2564413892 cites W2295543217 @default.
- W2564413892 cites W2346189690 @default.
- W2564413892 cites W2397463168 @default.
- W2564413892 cites W2413646104 @default.
- W2564413892 cites W2494123147 @default.
- W2564413892 cites W2952654960 @default.
- W2564413892 cites W57185801 @default.
- W2564413892 cites W64996139 @default.
- W2564413892 cites W72518666 @default.
- W2564413892 doi "https://doi.org/10.1016/j.cose.2016.12.002" @default.
- W2564413892 hasPublicationYear "2017" @default.
- W2564413892 type Work @default.
- W2564413892 sameAs 2564413892 @default.
- W2564413892 citedByCount "4" @default.
- W2564413892 countsByYear W25644138922020 @default.
- W2564413892 countsByYear W25644138922022 @default.
- W2564413892 crossrefType "journal-article" @default.
- W2564413892 hasAuthorship W2564413892A5040568415 @default.
- W2564413892 hasAuthorship W2564413892A5082065721 @default.
- W2564413892 hasAuthorship W2564413892A5084143460 @default.
- W2564413892 hasConcept C138885662 @default.
- W2564413892 hasConcept C160145156 @default.
- W2564413892 hasConcept C165696696 @default.
- W2564413892 hasConcept C177264268 @default.
- W2564413892 hasConcept C199360897 @default.
- W2564413892 hasConcept C2777904410 @default.
- W2564413892 hasConcept C2779136372 @default.
- W2564413892 hasConcept C2779639559 @default.
- W2564413892 hasConcept C38652104 @default.
- W2564413892 hasConcept C41008148 @default.
- W2564413892 hasConcept C41895202 @default.
- W2564413892 hasConcept C548217200 @default.
- W2564413892 hasConceptScore W2564413892C138885662 @default.
- W2564413892 hasConceptScore W2564413892C160145156 @default.
- W2564413892 hasConceptScore W2564413892C165696696 @default.
- W2564413892 hasConceptScore W2564413892C177264268 @default.
- W2564413892 hasConceptScore W2564413892C199360897 @default.
- W2564413892 hasConceptScore W2564413892C2777904410 @default.
- W2564413892 hasConceptScore W2564413892C2779136372 @default.
- W2564413892 hasConceptScore W2564413892C2779639559 @default.
- W2564413892 hasConceptScore W2564413892C38652104 @default.
- W2564413892 hasConceptScore W2564413892C41008148 @default.
- W2564413892 hasConceptScore W2564413892C41895202 @default.
- W2564413892 hasConceptScore W2564413892C548217200 @default.
- W2564413892 hasLocation W25644138921 @default.
- W2564413892 hasOpenAccess W2564413892 @default.
- W2564413892 hasPrimaryLocation W25644138921 @default.
- W2564413892 hasRelatedWork W1491859150 @default.
- W2564413892 hasRelatedWork W1518151261 @default.
- W2564413892 hasRelatedWork W1523682384 @default.
- W2564413892 hasRelatedWork W1552900908 @default.
- W2564413892 hasRelatedWork W1584150393 @default.
- W2564413892 hasRelatedWork W1706056004 @default.
- W2564413892 hasRelatedWork W2019393414 @default.
- W2564413892 hasRelatedWork W2057698738 @default.
- W2564413892 hasRelatedWork W2070840290 @default.
- W2564413892 hasRelatedWork W2120501260 @default.
- W2564413892 hasRelatedWork W2134485792 @default.