FRINK Linked Data Fragments server

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

• W3143236401 endingPage "401" @default.
• W3143236401 startingPage "361" @default.
• W3143236401 abstract "Information flow control (IFC) has been extensively studied as an approach to mitigate information leaks in applications. A vast majority of existing work in this area is based on static analysis. However, some applications, especially on the Web, are developed using dynamic languages like JavaScript where static analyses for IFC do not scale well. As a result, there has been a growing interest in recent years to develop dynamic or runtime information flow analysis techniques. In spite of the advances in the field, runtime information flow analysis has not been at the helm of information flow security, one of the reasons being that the analysis techniques and the security property related to them (non-interference) over-approximate information flows (particularly implicit flows), generating many false positives. In this paper, we present a sound and precise approach for handling implicit leaks at runtime. In particular, we present an improvement and enhancement of the so-called permissive-upgrade strategy, which is widely used to tackle implicit leaks in dynamic information flow control. We improve the strategy’s permissiveness and generalize it. Building on top of it, we present an approach to handle implicit leaks when dealing with complex features like unstructured control flow and exceptions in higher-order languages. We explain how we address the challenge of handling unstructured control flow using immediate post-dominator analysis. We prove that our approach is sound and precise." @default.
• W3143236401 created "2021-04-13" @default.
• W3143236401 creator A5000593113 @default.
• W3143236401 creator A5022695129 @default.
• W3143236401 creator A5026719321 @default.
• W3143236401 creator A5087604448 @default.
• W3143236401 date "2021-06-18" @default.
• W3143236401 modified "2023-10-03" @default.
• W3143236401 title "Permissive runtime information flow control in the presence of exceptions" @default.
• W3143236401 cites W114581357 @default.
• W3143236401 cites W131515753 @default.
• W3143236401 cites W1523697553 @default.
• W3143236401 cites W1549189039 @default.
• W3143236401 cites W1577719850 @default.
• W3143236401 cites W1597778235 @default.
• W3143236401 cites W1725973462 @default.
• W3143236401 cites W1977764760 @default.
• W3143236401 cites W1984440144 @default.
• W3143236401 cites W1994197051 @default.
• W3143236401 cites W1998180710 @default.
• W3143236401 cites W2008332764 @default.
• W3143236401 cites W2019673585 @default.
• W3143236401 cites W2027822753 @default.
• W3143236401 cites W2034527657 @default.
• W3143236401 cites W2043676331 @default.
• W3143236401 cites W2047370472 @default.
• W3143236401 cites W2051748913 @default.
• W3143236401 cites W2052047106 @default.
• W3143236401 cites W2061056245 @default.
• W3143236401 cites W2066195326 @default.
• W3143236401 cites W2068531859 @default.
• W3143236401 cites W2083491752 @default.
• W3143236401 cites W2083785453 @default.
• W3143236401 cites W2085939020 @default.
• W3143236401 cites W2094873755 @default.
• W3143236401 cites W2100233145 @default.
• W3143236401 cites W2101678831 @default.
• W3143236401 cites W2107466081 @default.
• W3143236401 cites W2111379929 @default.
• W3143236401 cites W2112459589 @default.
• W3143236401 cites W2122049982 @default.
• W3143236401 cites W2123302446 @default.
• W3143236401 cites W2123582298 @default.
• W3143236401 cites W2129278597 @default.
• W3143236401 cites W2136887296 @default.
• W3143236401 cites W2145846275 @default.
• W3143236401 cites W2146717998 @default.
• W3143236401 cites W2150174204 @default.
• W3143236401 cites W2155735696 @default.
• W3143236401 cites W2158126684 @default.
• W3143236401 cites W2162755110 @default.
• W3143236401 cites W2165304392 @default.
• W3143236401 cites W2166542433 @default.
• W3143236401 cites W2607467188 @default.
• W3143236401 cites W2612745372 @default.
• W3143236401 cites W2890509371 @default.
• W3143236401 cites W2899752583 @default.
• W3143236401 cites W2904756193 @default.
• W3143236401 cites W2972047516 @default.
• W3143236401 cites W3032336757 @default.
• W3143236401 cites W3047199768 @default.
• W3143236401 cites W3082507454 @default.
• W3143236401 cites W4206358530 @default.
• W3143236401 cites W4238033972 @default.
• W3143236401 cites W4243963980 @default.
• W3143236401 doi "https://doi.org/10.3233/jcs-211385" @default.
• W3143236401 hasPublicationYear "2021" @default.
• W3143236401 type Work @default.
• W3143236401 sameAs 3143236401 @default.
• W3143236401 citedByCount "0" @default.
• W3143236401 crossrefType "journal-article" @default.
• W3143236401 hasAuthorship W3143236401A5000593113 @default.
• W3143236401 hasAuthorship W3143236401A5022695129 @default.
• W3143236401 hasAuthorship W3143236401A5026719321 @default.
• W3143236401 hasAuthorship W3143236401A5087604448 @default.
• W3143236401 hasConcept C111472728 @default.
• W3143236401 hasConcept C120314980 @default.
• W3143236401 hasConcept C138885662 @default.
• W3143236401 hasConcept C160191386 @default.
• W3143236401 hasConcept C189950617 @default.
• W3143236401 hasConcept C199360897 @default.
• W3143236401 hasConcept C2524010 @default.
• W3143236401 hasConcept C2779136372 @default.
• W3143236401 hasConcept C33923547 @default.
• W3143236401 hasConcept C38349280 @default.
• W3143236401 hasConcept C41008148 @default.
• W3143236401 hasConcept C41895202 @default.
• W3143236401 hasConcept C544833334 @default.
• W3143236401 hasConcept C97686452 @default.
• W3143236401 hasConceptScore W3143236401C111472728 @default.
• W3143236401 hasConceptScore W3143236401C120314980 @default.
• W3143236401 hasConceptScore W3143236401C138885662 @default.
• W3143236401 hasConceptScore W3143236401C160191386 @default.
• W3143236401 hasConceptScore W3143236401C189950617 @default.
• W3143236401 hasConceptScore W3143236401C199360897 @default.
• W3143236401 hasConceptScore W3143236401C2524010 @default.
• W3143236401 hasConceptScore W3143236401C2779136372 @default.
• W3143236401 hasConceptScore W3143236401C33923547 @default.

• next