FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2479418234> ?p ?o ?g. }

• W2479418234 abstract "We previously presented a theory of analysis for expressive low-level languages that is capable of proving non-interference for expressive languages. We now provide an independent result for the taint-flow analysis that drives tracking of information. In particular, we show that the taint-tracking can be derived from the results of a taint-free analysis. In addition to improving performance, this independence broadens the applicability of the underlying approach to information-flow analysis." @default.
• W2479418234 created "2016-08-23" @default.
• W2479418234 creator A5085993502 @default.
• W2479418234 creator A5086121459 @default.
• W2479418234 date "2016-05-01" @default.
• W2479418234 modified "2023-09-26" @default.
• W2479418234 title "A Posteriori Taint-Tracking for Demonstrating Non-interference in Expressive Low-Level Languages" @default.
• W2479418234 cites W1264845515 @default.
• W2479418234 cites W1522000168 @default.
• W2479418234 cites W1569788249 @default.
• W2479418234 cites W1582331515 @default.
• W2479418234 cites W1963971515 @default.
• W2479418234 cites W1973336874 @default.
• W2479418234 cites W1990471574 @default.
• W2479418234 cites W1990810662 @default.
• W2479418234 cites W2013885073 @default.
• W2479418234 cites W2040478106 @default.
• W2479418234 cites W2094873755 @default.
• W2479418234 cites W2110507526 @default.
• W2479418234 cites W2111764695 @default.
• W2479418234 cites W2120620789 @default.
• W2479418234 cites W2122049982 @default.
• W2479418234 cites W2129278597 @default.
• W2479418234 cites W2131916295 @default.
• W2479418234 cites W2145846275 @default.
• W2479418234 cites W2150174204 @default.
• W2479418234 cites W2158126684 @default.
• W2479418234 cites W2166743230 @default.
• W2479418234 cites W2231439960 @default.
• W2479418234 cites W2401617229 @default.
• W2479418234 doi "https://doi.org/10.1109/spw.2016.58" @default.
• W2479418234 hasPublicationYear "2016" @default.
• W2479418234 type Work @default.
• W2479418234 sameAs 2479418234 @default.
• W2479418234 citedByCount "1" @default.
• W2479418234 countsByYear W24794182342021 @default.
• W2479418234 crossrefType "proceedings-article" @default.
• W2479418234 hasAuthorship W2479418234A5085993502 @default.
• W2479418234 hasAuthorship W2479418234A5086121459 @default.
• W2479418234 hasConcept C105795698 @default.
• W2479418234 hasConcept C111472728 @default.
• W2479418234 hasConcept C127162648 @default.
• W2479418234 hasConcept C138885662 @default.
• W2479418234 hasConcept C154945302 @default.
• W2479418234 hasConcept C15744967 @default.
• W2479418234 hasConcept C19417346 @default.
• W2479418234 hasConcept C199360897 @default.
• W2479418234 hasConcept C2524010 @default.
• W2479418234 hasConcept C2775936607 @default.
• W2479418234 hasConcept C2777904410 @default.
• W2479418234 hasConcept C2779136372 @default.
• W2479418234 hasConcept C31258907 @default.
• W2479418234 hasConcept C32022120 @default.
• W2479418234 hasConcept C33923547 @default.
• W2479418234 hasConcept C35651441 @default.
• W2479418234 hasConcept C38349280 @default.
• W2479418234 hasConcept C41008148 @default.
• W2479418234 hasConcept C41895202 @default.
• W2479418234 hasConcept C63116202 @default.
• W2479418234 hasConcept C75553542 @default.
• W2479418234 hasConceptScore W2479418234C105795698 @default.
• W2479418234 hasConceptScore W2479418234C111472728 @default.
• W2479418234 hasConceptScore W2479418234C127162648 @default.
• W2479418234 hasConceptScore W2479418234C138885662 @default.
• W2479418234 hasConceptScore W2479418234C154945302 @default.
• W2479418234 hasConceptScore W2479418234C15744967 @default.
• W2479418234 hasConceptScore W2479418234C19417346 @default.
• W2479418234 hasConceptScore W2479418234C199360897 @default.
• W2479418234 hasConceptScore W2479418234C2524010 @default.
• W2479418234 hasConceptScore W2479418234C2775936607 @default.
• W2479418234 hasConceptScore W2479418234C2777904410 @default.
• W2479418234 hasConceptScore W2479418234C2779136372 @default.
• W2479418234 hasConceptScore W2479418234C31258907 @default.
• W2479418234 hasConceptScore W2479418234C32022120 @default.
• W2479418234 hasConceptScore W2479418234C33923547 @default.
• W2479418234 hasConceptScore W2479418234C35651441 @default.
• W2479418234 hasConceptScore W2479418234C38349280 @default.
• W2479418234 hasConceptScore W2479418234C41008148 @default.
• W2479418234 hasConceptScore W2479418234C41895202 @default.
• W2479418234 hasConceptScore W2479418234C63116202 @default.
• W2479418234 hasConceptScore W2479418234C75553542 @default.
• W2479418234 hasLocation W24794182341 @default.
• W2479418234 hasOpenAccess W2479418234 @default.
• W2479418234 hasPrimaryLocation W24794182341 @default.
• W2479418234 hasRelatedWork W138669301 @default.
• W2479418234 hasRelatedWork W201574728 @default.
• W2479418234 hasRelatedWork W2044186952 @default.
• W2479418234 hasRelatedWork W2047749307 @default.
• W2479418234 hasRelatedWork W2085691404 @default.
• W2479418234 hasRelatedWork W2088923183 @default.
• W2479418234 hasRelatedWork W2093291765 @default.
• W2479418234 hasRelatedWork W2108887121 @default.
• W2479418234 hasRelatedWork W2115295103 @default.
• W2479418234 hasRelatedWork W2143077513 @default.
• W2479418234 hasRelatedWork W2146590427 @default.
• W2479418234 hasRelatedWork W2152116576 @default.
• W2479418234 hasRelatedWork W2158302348 @default.
• W2479418234 hasRelatedWork W2164168555 @default.
• W2479418234 hasRelatedWork W2286851300 @default.
• W2479418234 hasRelatedWork W2518249136 @default.

• next